Bug#914691: RFA: agda-stdlib -- standard library for Agda
Package: wnpp Severity: normal Hi there, I'm not involved in this area any more. I've been basically ignoring the package and people from the Haskell team have been kindly uploading it in my absence. I'd like it if someone were to take it off my hands. That will probably be the Haskell team, but Sean points out to me that there would be no human uploaders if the team were to take it over directly. So ideally someone in the team would sign up to be an Uploader and make pkg-haskell the Maintainer. Cheers, and happy type safety, -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ]
Bug#914437: ITP: gnome-shell-extension-desktop-icons -- desktop icon support for GNOME shell
Package: wnpp Severity: wishlist Owner: Iain Lane * Package name: gnome-shell-extension-desktop-icons Version : 18.11~rc1 Upstream Author : Carlos Soriano , Sergio Costas * URL : https://gitlab.gnome.org/World/ShellExtensions/desktop-icons * License : GPL-3+ Programming Lang: Javascript Description : desktop icon support for GNOME shell This package provides a GNOME Shell extension for showing the contents of ~/Desktop on the desktop of the Shell. Common file management operations such as launching, copy/paste, rename and deleting are supported. This is replacing functionality that was in Nautilus prior to 3.28. It uses D-Bus APIs provided by Nautilus to implement some of the features mentioned above. The GNOME team will maintain this package. I'll initially upload to experimental, probably at least until there is a stable release as opposed to a release candidate.
Bug#677271: about to upload dbus-test-runner...
On Tue, Jan 20, 2015 at 02:35:43PM +, Mike Gabriel wrote: Control: owner -1 mike.gabr...@das-netzwerkteam.de Control: retitle -1 ITP: dbus-test-runner -- Runs tests under a new DBus Hi all, Nothing has happened for a while with the RFP for dbus-test-runner. I am about to upload dbus-test-runner to unstable. ... taking over this RFP-ITP... Yes, go for it. I required it for a project but I don't even remember the details so please take it over. :) Thanks! -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] signature.asc Description: Digital signature
Bug#738308: Status of bustle package.
On Sun, Feb 16, 2014 at 11:37:02AM +, Iain Lane wrote: […] Will do an upload to the new upstream release now, providing it works. It'll probably still want removing on bsd (no haskell-dbus there), so please feel free to do that if you want. Nope. It has a new build-dependency on haskell-setlocale which has a public-domain license that I'm not sure is right (can you dedicate things to the public domain in Germany, where he seems to be from judging by the email address?). I'll need to follow up with the maintainer there. I'll file the RoQA for kbsd now. Joachim just scheduled the binNMUs. Cheers for poking us, -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] signature.asc Description: Digital signature
Bug#677271:
On Sun, Jun 17, 2012 at 10:53:05PM +0200, Thomas Bechtold wrote: dbus-test-runner seems to depend on ubuntu dbus modifications [1]. I just test built the Ubuntu source package in sid and it worked fine (testsuite passed). I'll probably upload dbus-test-runner under pkg-ayatana soon. Thanks, -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] signature.asc Description: Digital signature
Bug#713959: ITP: gnome-desktop-testing -- execute GNOME installed tests
Package: wnpp
Severity: wishlist
Owner: Iain Lane la...@debian.org
* Package name: gnome-desktop-testing
Version : 2013.1
Upstream Author : Colin Walters walt...@verbum.org
* URL : https://live.gnome.org/GnomeGoals/InstalledTests
* License : LGPL-2+
Programming Lang: C
Description : execute GNOME installed tests
The GNOME desktop testing runner provides an execution harness for GNOME
installed tests.
.
These tests are useful for verifying the functionality of software as
installed and packaged, and complement rather than replace build-time
('make check') tests. For example you may wish to run the installed
tests from a DEP-8 autopkgtest testsuite as a form of regression
testing.
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20130624103153.18982.92094.reportbug@raleigh
Bug#699428: ITP: maliit-framework -- flexible text input method framework
Package: wnpp Severity: wishlist Owner: Iain Lane la...@debian.org * Package name: maliit-framework Version : 0.94.1 Upstream Author : Jan Arne Petersen jpeter...@openismus.com, Michael Hasselmann micha...@openismus.com * URL : https://wiki.maliit.org/Main_Page * License : LGPL-2.1+ Programming Lang: C++, C Description : flexible text input method framework Maliit provides a flexible and cross-platform input method framework for mobile and embedded text input. It has a plugin-based client-server architecture where applications act as clients and communicate with the Maliit server via toolkit-specific input context plugins. -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130131112002.1200.51879.reportbug@raring
Bug#699429: ITP: maliit-plugins -- text input method framework - plugins
Package: wnpp Severity: wishlist Owner: Iain Lane la...@debian.org * Package name: maliit-plugins Version : 0.94.0 Upstream Author : Jan Arne Petersen jpeter...@openismus.com, Michael Hasselmann micha...@openismus.com * URL : https://wiki.maliit.org/Main_Page * License : BSD-3-clause Programming Lang: C+ Description : flexible text input method framework - plpugins Maliit provides a flexible and cross-platform input method framework for mobile and embedded text input. It has a plugin-based client-server architecture where applications act as clients and communicate with the Maliit server via toolkit-specific input context plugins. . This package contains the maliit reference on-screen keyboard. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130131113147.2745.33088.reportbug@raring
Bug#617617: ITP: beatbox -- A music player written in vala
Hey, On Thu, Mar 10, 2011 at 12:18:55AM +0100, Devid Antonio Filoni wrote: Package: wnpp Severity: wishlist * Package name: beatbox * Upstream Author : Scott R. https://launchpad.net/~tcsoccerman * URL: https://launchpad.net/beat-box * License: GNU GPL v3 * Description: A music player written in vala. A gentle ping: what's the status of this? I see there is a PPA — perhaps you could take the packaging from there? Cheers, -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] signature.asc Description: Digital signature
Bug#678938: ITP: libpwquality -- library for password generation and password quality checking
Package: wnpp Severity: wishlist Owner: Iain Lane la...@debian.org * Package name: libpwquality Version : 1.1.1 Upstream Author : Copyright (c) 1996 Cristian Gafton gaf...@redhat.com Copyright (c) 2011 Red Hat, Inc Copyright (c) 2011 Tomas Mraz t...@t8m.info Copyright (c) Philip W. Dalrymple III p...@mdtsoft.com * URL : https://fedorahosted.org/libpwquality/ * License : GPL-3+ Programming Lang: C Description : library for password generation and password quality checking The libpwquality library purpose is to provide common functions for password quality checking and also scoring them based on their apparent randomness. The library also provides a function for generating random passwords with good pronounceability. The library supports reading and parsing of a configuration file. In the package there are also very simple utilities that use the library function and PAM module that can be used instead of pam_cracklib. The module supports all the options of pam_cracklib. Cheers, -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] PhD student [ i...@cs.nott.ac.uk ] signature.asc Description: Digital signature
Bug#656100: O: fsvs -- Full system versioning with metadata support
Package: wnpp Severity: normal Hello, I am orphaning the fsvs package. The package description is: FSVS is a backup/restore/versioning/deployment tool for whole directory trees or filesystems, with a subversion repository as the backend. It can do overlays of multiple repositories, to achieve some content separation (base install, local modifications, etc.) Gunnar Thielebein, CCed, has indicated that he may possibly be interested in maintaining the package. Gunnar, if this is the case, please see [0] for how to proceed with adopting. Maintaining a package requires sufficient time, skill and commitment. Please make sure you have these before proceeding. :-) Regards, -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] PhD student [ i...@cs.nott.ac.uk ] [0] http://www.debian.org/devel/wnpp/ Removing entries signature.asc Description: Digital signature
Bug#597053: ITP: sparkleshare -- git-backed file sharing and collaboration tool
Hi there, Thanks for the ping. On Wed, Apr 27, 2011 at 10:44:16AM +0200, Noèl Köthe wrote: Hello Iain, any news on the Debian package of sparkleshare? Its available in version 0.2 rc1 since last month and a package in sid and ubuntu would help testing IMHO: http://www.bomahy.nl/hylke/blog/sparkleshare-02-rc1-for-linux-and-mac/ Indeed I looked at the RC last month and forgot to update this bug with the status. I couldn't proceed with packaging it because it included Git# which bundled a few binary libraries: , | laney@chicken find . -name *.exe -o -name *.dll | ./GitSharp/lib/Org.Mentalis.Security.dll | ./GitSharp/lib/ICSharpCode.SharpZipLib.dll | ./GitSharp/lib/DiffieHellman.dll | ./GitSharp/lib/Tamir.SharpSSH.dll ` However it looks like these have been removed in git master, so we may be able to proceed then. I or someone else in the team will try to look at this again in the near future. Thanks, Iain signature.asc Description: Digital signature
Bug#597053: [pkg-cli-apps-team] Bug#597053: ITP: sparkleshare -- git-backed file sharing and collaboration tool
Hiya, On Mon, Sep 20, 2010 at 11:45:32AM +0200, martin f krafft wrote: also sprach Iain Lane la...@ubuntu.com [2010.09.16.1003 +0200]: * Package name: sparkleshare Version : 0.2~beta1 […] SparkleShare is a syncing and collaboration tool that is designed to get out of your way, to make sharing documents and collaboration easier, and to make peers aware of what you are doing. Is it a GUI? Is it a command-line tool? I find the description rather generic, it does not give me a real idea of what I am dealing with. It's a service which runs in your user session and tracks changes to files in the watched directory as git commits. This means that, in addition to using your desktop environment to interact with the files, you can also use git to examine the history. Syncing to remote git repositories is also transparent. The tool is designed for collaboration, rather than backup as in e.g. Dropbox. Sorry if the description was unclear, and thanks for your feedback. I'll improve it. Are there .debs for testing already? No. I might provide some unofficial preview packages soon, but the software is still rather experimental. In the meantime, it's pretty easy to build (standard autotools), once you have all of the build dependencies installed. There aren't many, and they are all in Debian already. I'll keep this bug updated with information when the situation develops. Cheers, Iain signature.asc Description: Digital signature
Bug#597053: ITP: sparkleshare -- git-backed file sharing and collaboration tool
Package: wnpp Severity: wishlist Owner: Debian CLI Applications Team pkg-cli-apps-t...@lists.alioth.debian.org * Package name: sparkleshare Version : 0.2~beta1 Upstream Author : Hylke Bons hylkeb...@gmail.com * URL : http://sparkleshare.org/ * License : GPLv3 Programming Lang: C# Description : git-backed file sharing and collaboration tool SparkleShare is a syncing and collaboration tool that is designed to get out of your way, to make sharing documents and collaboration easier, and to make peers aware of what you are doing. .. SparkleShare uses git as its storage backend (server) component. There are default profiles present for the Gitorious, Github and GNOME servers, but users can add their own as well. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100916080332.31847.23481.report...@localhost6.localdomain6
Bug#569171: ITP: pinta -- a simple Gtk drawing/painting program
Heya, On Sun, Feb 14, 2010 at 02:43:14PM +0100, Frank Lin PIAT wrote: Hi, Just a few comment on the package description... [...] Upstream mentioned that It is currently early in development. You could keep this statement in the description (to avoid users deception). Also, since the program is meant to be simple, you could list the features that would be useful for the targeted audience: * Adjustments and Effects (Invert, Sepia, Black and White, and Auto Level). * Full History (unlimited levels of Undo/Redo) * Multiple Layers My 2¢ Franklin Thanks for your comments. I have added a little disclaimer and some examples of features. I'll get the packaging done today. Iain signature.asc Description: Digital signature
Bug#569171: ITP: pinta -- a simple Gtk drawing/painting program
Package: wnpp Severity: wishlist Owner: Debian CLI Applications team pkg-cli-apps-t...@lists.alioth.debian.org * Package name: pinta Version : 0.1 Upstream Author : Jonathan Pobst mon...@jpobst.com * URL : http://pinta-project.com * License : MIT/X Programming Lang: C# Description : a simple Gtk drawing/painting program Pinta is a drawing/editing program modeled on Paint.NET. Its goal is to provide a simplified alternative to the GIMP for casual users. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#567632: ITP: haskell-qio -- a language for defining quantum computations
Afternoon, On Sat, Jan 30, 2010 at 08:53:12PM +0100, Joachim Breitner wrote: Hi, Am Samstag, den 30.01.2010, 16:25 + schrieb Iain Lane: On Sat, Jan 30, 2010 at 02:37:54PM +0100, Joachim Breitner wrote: Am Samstag, den 30.01.2010, 11:04 + schrieb Iain Lane: Package: wnpp * Package name: haskell-qio the usual question: Why is this hackage package suitable for inclusion in Debian (relevancy, support, maturity, usage)? [...] I don't know if that is good enough for you. It’s not up to me who has to decide, I’m just playing Sokrates and asking the questions :-). If you gave thought to it and think it’s a worthwhile addition to Debian, then please go for it. I hope my query did not sound discouraging. No problem, thanks for being thorough. I understand that packaging the entire contents of Hackage is not and should not be a goal for the team. I apologise if I sounded overly defensive. There's a package up now in darcs which I think should be ready to go. Could you (or any other DD? I see we now have another :) have a look for sponsoring? Thanks a lot, Plato signature.asc Description: Digital signature
Bug#567632: ITP: haskell-qio -- a language for defining quantum computations
Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: haskell-qio Version : 1.0 Upstream Author : Alexander S. Green a...@cs.nott.ac.uk * URL : http://hackage.haskell.org/package/QIO * License : BSD Programming Lang: Haskell Description : a language for defining quantum computations This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . The Quantum IO Monad is a library for defining quantum computations in Haskell -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#567632: ITP: haskell-qio -- a language for defining quantum computations
Hiya, On Sat, Jan 30, 2010 at 02:37:54PM +0100, Joachim Breitner wrote: Hi Iain, Am Samstag, den 30.01.2010, 11:04 + schrieb Iain Lane: Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: haskell-qio Version : 1.0 Upstream Author : Alexander S. Green a...@cs.nott.ac.uk * URL : http://hackage.haskell.org/package/QIO * License : BSD Programming Lang: Haskell Description : a language for defining quantum computations This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. . The Quantum IO Monad is a library for defining quantum computations in Haskell the usual question: Why is this hackage package suitable for inclusion in Debian (relevancy, support, maturity, usage)? It is a research library, that is true enough. It is also true that the library will probably never have any reverse dependencies. I would like to see Debian grow as a platform for PL research (this is also one of the reasons behind my packaging of Agda, which is also a research language). It is not true that the library is unsupported, either by upstream or by me as Debian maintainer. I am packaging to aid with my own teaching and research. If others find this useful, then that is great. I considered the risks of the package becoming broken or unmaintained to be low enough that it is worth including. If it emerges that it is best to remove at some point in the future, I am not going to stop that. I don't know if that is good enough for you. Iain signature.asc Description: Digital signature
Bug#564454: ITP: haskell-filemanip -- a Haskell library for working with files and directories
Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: haskell-filemanip Version : 0.3.2 Upstream Author : Bryan O'Sullivan b...@serpentine.com * URL : http://hackage.haskell.org/package/FileManip/ * License : BSD3 Programming Lang: Haskell Description : a Haskell library for working with files and directories A Haskell library for working with files and directories. Includes code for pattern matching, finding files, modifying file contents, and more. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#531179:
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 reassign 531179 ftp.debian.org retitle 531179 RM straw -- RoQA; orphaned, broken, unmaintained upstream thanks Hi, I'm requesting removal of straw for the following reasons: - Inactive maintainer, orphaned. People have expressed interest in adopting but nobody has followed through (last upload was in 2007, last maintainer upload in 2006) - Package appears to not even start - Upstream has ceased maintenance Regards, Iain -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (Darwin) iEYEARECAAYFAkqVDgMACgkQPy0SnCC/zce1agCgi4b1wQk7yrAv+bN9Lo9smfyz 55QAoK4lAqZEdT5wIWRcoLYLjmPZJoTj =Fib5 -END PGP SIGNATURE- This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#537549: ∀lib: Debian(lib) = Platform(lib)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hello, On Sun, 16 Aug 2009 20:00:25 +0200 Joachim Breitner nome...@debian.org wrote: cabal-install is still missing. This should be easy to fix. Iain, you filed the ITP for it at http://bugs.debian.org/537549. Are there any blockers left? Not apart from my lack of time. I'll try to get started tonight. Libraries that are newer in Debian will stay so, so we won’t be able to support the platform fully. Now we have these options: ... B) Upload a libghc6-platform-dev package to Debian, patched to refer to „our“ Version numbers. Makes it easy for people to build stuff against it, but things might break when „our“ Versions are not fully compatible with the one promised by the official platform. This sounds most reasonable to me. I expect as the platform becomes more entrenched we'll see applications forcing us to deviate less frequently, and also see the platform becoming more responsive to any issues that crop up in libraries. But really we should be aiming for very best effort rather than at all costs compliance, meaning that we stick to the platform as specified unless there is a good reason not to. Regards, Iain -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkqK/mMACgkQPy0SnCC/zceVtACfbv5nkARDmDf/GIPRgRYGk7R0 Z/AAoLBy8ljI+ZzrkFrg7XgSpW6Elcbt =yVmF -END PGP SIGNATURE-
Bug#537705: ITP: agda-executable -- Commandline interface to Agda -- a dependently typed functional programming language and proof assistant
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hello, On Tue, 21 Jul 2009 21:11:04 +0200 Wolfgang Jeltsch g9ks1...@acme.softbase.org wrote: Am Montag, 20. Juli 2009 12:23 schrieb Iain Lane: * Package name: agda-executable Why agda-exectuable? Wouldn’t it be more common to name this package agda-cli? On etch, there are five packages with names of the form *-cli but none with a name of the form *-executable. A GUI interface would probably also provided by an executable, so “executable” doesn’t explicitely refer to a command line interface (cli). Best wishes, Wolfgang I don't really mind. I chose -executable as (a) that's the upstream name* and (b) I considered that -cli could be confused with the Common Language Infrastructure. I don't think there's any potential for confusion with regards to the name as this is the canonical `agda' executable. If you feel strongly about it, I don't mind changing though. Regards, Iain * yes, I know there's no problem in going with a different name. This was just the path of least resistance -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkpm4/0ACgkQPy0SnCC/zcfBtwCfSUBEXnXKjhKZ3F84BFd7UwxH 0AkAn12dkrqxXSaql7WGSfFPhDQ7d/fu =1Y/k -END PGP SIGNATURE-
Bug#537705: ITP: agda-executable -- Commandline interface to Agda -- a dependently typed functional programming language and proof assistant
Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: agda-executable Version : 2.2.4 Upstream Author : Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ... * URL : http://wiki.portal.chalmers.se/agda/ * License : Other (BSD-like) Programming Lang: Haskell Description : Commandline interface to Agda -- a dependently typed functional programming language and proof assistant Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#537549: ITP: cabal-install -- Automate the fetching, configuration, compilation and installation of Haskell libraries and programs
Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: cabal-install Version : 0.6.2 Upstream Author : Lemmih lem...@gmail.com, Paolo Martini pa...@nemail.it, Bjorn Bringert bj...@bringert.net, Isaac Potoczny-Jones ijo...@syntaxpolice.org, Duncan Coutts dun...@haskell.org * URL : http://www.haskell.org/cabal/ * License : BSD3 Programming Lang: Haskell Description : Automate the fetching, configuration, compilation and installation of Haskell libraries and programs The 'cabal' command-line program simplifies the process of managing Haskell software by automating the fetching, configuration, compilation and installation of Haskell libraries and programs. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#522914:
* Package name: agda-stdlib Version : 0.2 Upstream Author : Nils Anders Danielsson n...@cs.nott.ac.uk * URL : http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary * License : MIT/X Programming Lang: Agda Description : standard library for Agda - a dependently typed functional programming language and proof assistant Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Lf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package contains the standard library for Agda, which provides some modules for common programming- and proof-structuring idioms. Modules are included for algebra, category theory, coinduction, data types, the foreign function interface, induction, IO, relations, and sized types. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#522924:
retitle 522924 ITP: agda -- a dependently typed functional programming language and proof assistant retitle 522914 ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant thanks Seems like I got the bug numbers messed up in the changelog. Easier to just swap the ITPs than reupload. Consider 522924 to be the ITP for agda and 522914 for agda-stdlib. * Package name: agda Version : 2.2.0 Upstream Author : Ulf Norell u...@chalmers.se * URL : http://wiki.portal.chalmers.se/agda/ * License : MIT/X11 Programming Lang: Haskell Description : a dependently typed functional programming language and proof assistant Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Lf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#522914: ITP: agda -- a dependently typed functional programming language and proof assistant
Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: agda Version : 2.2.0 Upstream Author : Ulf Norell u...@chalmers.se * URL : http://wiki.portal.chalmers.se/agda/ * License : MIT/X11 Programming Lang: Haskell Description : a dependently typed functional programming language and proof assistant Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). .. Agda is a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Lf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. -- System Information: Debian Release: 5.0 APT prefers jaunty-updates APT policy: (500, 'jaunty-updates'), (500, 'jaunty-security'), (500, 'jaunty-backports'), (500, 'jaunty') Architecture: i386 (i686) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#522924: ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant
Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: agda-stdlib Version : unreleased Upstream Author : Nils Anders Danielsson n...@cs.nott.ac.uk * URL : http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary * License : MIT/X Programming Lang: Agda Description : standard library for Agda - a dependently typed functional programming language and proof assistant Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). .. Agda is a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Lf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. .. This package contains the standard library for Agda, which provides some modules for common programming- and proof-structuring idioms. Modules are included for algebra, category theory, coinduction, data types, the foreign function interface, induction, IO, relations, and sized types. -- System Information: Debian Release: 5.0 APT prefers jaunty-updates APT policy: (500, 'jaunty-updates'), (500, 'jaunty-security'), (500, 'jaunty-backports'), (500, 'jaunty') Architecture: i386 (i686) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#519844: ITP: google-gdata-sharp -- Google GData CLI client library
Package: wnpp Severity: wishlist Owner: Iain Lane la...@ubuntu.com * Package name: google-gdata-sharp Version : 1.4.0.2 Upstream Author : Google Inc, Novell Inc * URL : http://code.google.com/p/google-gdata/ * License : Apache License 2.0 Programming Lang: C# Description : Google GData CLI client library The GData (Google data) APIs provide a simple protocol for reading and writing data on the web. . Each of the following Google services provides a Google data API: * Base * Blogger * Calendar * Code Search * Contacts * Document List * Google Apps Provisioning * Notebook * Picasa Web Albums * Spreadsheets * YouTube . The GData CLI Client Library provides a library and source code that make it easy to access data through Google Data APIs. -- System Information: Debian Release: 5.0 APT prefers jaunty-updates APT policy: (500, 'jaunty-updates'), (500, 'jaunty-security'), (500, 'jaunty-proposed'), (500, 'jaunty-backports'), (500, 'jaunty') Architecture: amd64 (x86_64) -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#513630: (no subject)
Hello maintainer, You have had an open Mono 2.0 transition bug for over 1 month now. Are you still intending on maintaining the package? If not, we (pkg-cli-apps) intend to adopt. Any updates will be prepared in pkg-cli-apps SVN. If you wish to join the team, we will be happy to welcome you and your package(s) :). Iain on behalf of the Debian CLI Applications Team -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#513631: (no subject)
Hello maintainer, We (pkg-cli-apps) intend to adopt this package, providing you have no objections to us doing so. If you'd like, you are more than welcome to join us in the team to help out with maintenance :). All updates will be prepared in pkg-cli-apps SVN. Thanks, Iain, on behalf of the Debian CLI Applications Team -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#513629: (no subject)
Hello maintainer, You have had an open Mono 2.0 transition bug for over 1 month now. Are you still intending on maintaining the package? If not, we (pkg-cli-apps) intend to adopt. Any updates will be prepared in pkg-cli-apps SVN. If you wish to join the team, we will be happy to welcome you and your package(s) :). Iain on behalf of the Debian CLI Applications Team -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#258096: (no subject)
Hello everyone, Glom 1.8.4 is currently awaiting sponsorship into Ubuntu for Jaunty. Christophe Sauthier (huats) did the heavy lifting for the bakery2.6 update. I believe he's going to bring this back to Debian soon. There's another new dependency, goocanvasmm, which I packaged for Ubuntu and am now in contact with pkg-gnome with about getting into Debian. I'd then like to try and get my glom package sponsored in the pkg-gnome team. I'll take ownership of this if nobody minds? Or if anyone has a strong affinity then they're free to use and improve the latest Ubuntu packaging. Iain -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#493794: (no subject)
owner 493794 ! thanks Hi, There is a package available at [0] which builds fine on sid. Currently waiting for a sponsor. Thanks, Iain [0] http://mentors.debian.net/cgi-bin/maintainer-packages?action=details;package=goocanvasmm -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#493794: ITP: goocanvasmm -- C++ bindings for GooCanvas
Package: wnpp Severity: wishlist Owner: Iain Lane [EMAIL PROTECTED] * Package name: goocanvasmm Version : 0.9.0 Upstream Author : The gtkmm development team * URL : http://ftp.gnome.org/pub/gnome/sources/goocanvasmm/ * License : GPL Programming Lang: C++ Description : C++ bindings for GooCanvas GooCanvas is a canvas widget for GTK+ that uses the cairo 2D library for drawing. It has a model/view split, and uses interfaces for canvas items and views, so you can easily turn any application object into canvas items. goocanvasmm is the C++ wrapper for GooCanvas I already have a building and working package awaiting review at REVU[0]. After this is reviewed and accepted into Intrepid, I'll seek sponsorship in Debian. Thanks, Iain [0] http://revu.ubuntuwire.com/details.py?package=goocanvasmm -- System Information: Debian Release: lenny/sid APT prefers hardy-updates APT policy: (500, 'hardy-updates'), (500, 'hardy-security'), (500, 'hardy-proposed'), (500, 'hardy-backports'), (500, 'hardy') Architecture: amd64 (x86_64) Kernel: Linux 2.6.24-19-generic (SMP w/2 CPU cores) Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#483249: (no subject)
I haven't checked out the proper procedure for this yet, but if anyone is so interested, I've uploaded a candidate new revision of 3.4 to Launchpad at [0]. If and when this gets sponsored into Ubuntu, I'll look into what needs to be done to get it into Debian, unless someone wants to help me sooner. :) Iain [0] https://bugs.edge.launchpad.net/ubuntu/+source/xaos/+bug/244531 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#483249: (no subject)
tags 483249 + patch
thanks
Hi,
I've cherrypicked the attached patch from upstream mtn (change
c892c8d32fc7cbd65214d7314584e2ccb9f24563), and used it to build fixed
packages for Ubuntu. I thought you might be interested in using the same
patch for sid.
Thanks,
Iain
#
#
# patch libpurple/protocols/oscar/oscar.h
# from [4029373a48bd83562f1810ba730699521ae28a1d]
#to [1946f11a617b830a2cd9e4ff902a339ee5197e04]
#
--- libpurple/protocols/oscar/oscar.h 4029373a48bd83562f1810ba730699521ae28a1d
+++ libpurple/protocols/oscar/oscar.h 1946f11a617b830a2cd9e4ff902a339ee5197e04
@@ -258,6 +258,15 @@ struct _ClientInfo
us, en, \
}
+#define CLIENTINFO_ICQ6_6_0_6059 { \
+ ICQ Client, \
+ 0x010a, \
+ 0x0006, 0x, \
+ 0x, 0x17ab, \
+ 0x7535, \
+ us, en, \
+}
+
#define CLIENTINFO_ICQBASIC_14_3_1068 { \
ICQBasic, \
0x010a, \
@@ -302,9 +311,9 @@ struct _ClientInfo
#define CLIENTINFO_PURPLE_ICQ { \
Purple/ VERSION, \
0x010a, \
- 0x0014, 0x0034, \
- 0x, 0x0bb8, \
- 0x043d, \
+ 0x0006, 0x, \
+ 0x, 0x17ab, \
+ 0x7535, \
us, en, \
}
Bug#483249: (no subject)
tags 483249 - patch thanks Ignore that, I sent it to the wrong bug. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
