Accepted clojure-maven-plugin 1.3.3-2 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 07 Aug 2010 00:59:31 +0100 Source: clojure-maven-plugin Binary: libclojure-maven-plugin-java Architecture: source all Version: 1.3.3-2 Distribution: unstable Urgency: low Maintainer: Debian Java Maintainers pkg-java-maintain...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: libclojure-maven-plugin-java - Clojure plugin for Maven Closes: 591125 Changes: clojure-maven-plugin (1.3.3-2) unstable; urgency=low . * debian/control, debian/maven.ignoreRules: use m-r-h 1.2 maven rules format (Closes: #591125) * debian/control: update to Standards-Version 3.9.1 Checksums-Sha1: 9a21599589b6b80f1a65d02d75e6e7a9427447b7 1590 clojure-maven-plugin_1.3.3-2.dsc f26c585575a33f834117f0b79206faa2e5caa850 6608 clojure-maven-plugin_1.3.3-2.diff.gz a39a89083d9da92d27ab98cfe6ecd8f3c150bd53 36754 libclojure-maven-plugin-java_1.3.3-2_all.deb Checksums-Sha256: 8d29e809d970d043aa85d1ce0228d16763c10257251ecad8507936fe50210a1b 1590 clojure-maven-plugin_1.3.3-2.dsc fb167a8a4848fd1d6df6f08679157496523227f0b3926c0c92ae7a9baaae56be 6608 clojure-maven-plugin_1.3.3-2.diff.gz be251cb021c43ab894d32aeb792dc6d05ba06d2b82aaffd245ffcd3558d85065 36754 libclojure-maven-plugin-java_1.3.3-2_all.deb Files: a9617f8cd92f0d4d1c39d2dacb8b37d9 1590 java optional clojure-maven-plugin_1.3.3-2.dsc 9dbb505a7d0f596d7de062afc57aebff 6608 java optional clojure-maven-plugin_1.3.3-2.diff.gz 7567e5b6fcfc79d5f97b26b1b98d3fe6 36754 java optional libclojure-maven-plugin-java_1.3.3-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxcwSwACgkQXDqn6DSH7HEqxwCdGplOqOiDTbYXw0gEfO6ZNMSd 8xkAnioutUTAKdlbMbp1F3Rt/kXfyjCp =qP8+ -END PGP SIGNATURE- Accepted: clojure-maven-plugin_1.3.3-2.diff.gz to main/c/clojure-maven-plugin/clojure-maven-plugin_1.3.3-2.diff.gz clojure-maven-plugin_1.3.3-2.dsc to main/c/clojure-maven-plugin/clojure-maven-plugin_1.3.3-2.dsc libclojure-maven-plugin-java_1.3.3-2_all.deb to main/c/clojure-maven-plugin/libclojure-maven-plugin-java_1.3.3-2_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ohzfi-0001cu...@franck.debian.org
Accepted clojure-maven-plugin 1.3.2-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 17 Mar 2010 20:22:19 + Source: clojure-maven-plugin Binary: libclojure-maven-plugin-java Architecture: source all Version: 1.3.2-1 Distribution: unstable Urgency: low Maintainer: Debian Java Maintainers pkg-java-maintain...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: libclojure-maven-plugin-java - Clojure plugin for Maven Closes: 569096 Changes: clojure-maven-plugin (1.3.2-1) unstable; urgency=low . * New upstream release (Closes: #569096) * debian/control: added DM-Upload-Allowed: yes * debian/control: added Ramakrishnan Muthukrishnan as an Uploader * debian/patches/01-pom-plexus-utils.patch: describe the patch * debian/control: added Vcs-Browser and Vcs-Git fields Checksums-Sha1: a1a2b6ab6534889abe74bb815dce030dfbc78a91 1581 clojure-maven-plugin_1.3.2-1.dsc f215998964c8c4adfdf659fefd42017841a407f6 15713 clojure-maven-plugin_1.3.2.orig.tar.gz c13183d72925b53c66b42672f9d2f1732034cfae 6487 clojure-maven-plugin_1.3.2-1.diff.gz 76c9837cabbeff19cdfc22c4f338dcd3abf8d07f 33906 libclojure-maven-plugin-java_1.3.2-1_all.deb Checksums-Sha256: fd077d4361921e51ce8599f08c247f2bfbd9873f702296edc73616cf3ec0a621 1581 clojure-maven-plugin_1.3.2-1.dsc 64adf874e04553a521d7f285829679f078ebc1e3fb398567352c98e9def1bc36 15713 clojure-maven-plugin_1.3.2.orig.tar.gz ab650c5d8ad854143cf7fb7650d882d24799c3b55844d2c44d155bdb489ae637 6487 clojure-maven-plugin_1.3.2-1.diff.gz 8c8db828adb4ca166bff1f7cf982eef09f23ef57be30aeaf5a4ea3da10944ffb 33906 libclojure-maven-plugin-java_1.3.2-1_all.deb Files: fb9d1c65871c722c5ced149d3b5a7996 1581 java optional clojure-maven-plugin_1.3.2-1.dsc d8e46dac1af2fa2e58caa92ba6b83aeb 15713 java optional clojure-maven-plugin_1.3.2.orig.tar.gz 4025af7ea066507f95646891199bebca 6487 java optional clojure-maven-plugin_1.3.2-1.diff.gz b45f8f9c1a17adcdf8eb5fa406e51bb6 33906 java optional libclojure-maven-plugin-java_1.3.2-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkunFi0ACgkQFyn1hmqfPDguMACfUpdwRwDWHM7OzqnFgoN4ma5H 3O8AoJdmJB6/uiIg45/jmq4Yqewt//kJ =I09h -END PGP SIGNATURE- Accepted: clojure-maven-plugin_1.3.2-1.diff.gz to main/c/clojure-maven-plugin/clojure-maven-plugin_1.3.2-1.diff.gz clojure-maven-plugin_1.3.2-1.dsc to main/c/clojure-maven-plugin/clojure-maven-plugin_1.3.2-1.dsc clojure-maven-plugin_1.3.2.orig.tar.gz to main/c/clojure-maven-plugin/clojure-maven-plugin_1.3.2.orig.tar.gz libclojure-maven-plugin-java_1.3.2-1_all.deb to main/c/clojure-maven-plugin/libclojure-maven-plugin-java_1.3.2-1_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1nu1da-0008ug...@ries.debian.org
Accepted commons-exec 1.0.1-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 09 Feb 2010 02:45:32 + Source: commons-exec Binary: libcommons-exec-java Architecture: source all Version: 1.0.1-1 Distribution: unstable Urgency: low Maintainer: Debian Java Maintainers pkg-java-maintain...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: libcommons-exec-java - a library to reliably execute external processes from within the Closes: 568953 Changes: commons-exec (1.0.1-1) unstable; urgency=low . * Initial release (Closes: #568953) Checksums-Sha1: b8cc5d7bae15562876eb9e366f1c15c1657a3526 1356 commons-exec_1.0.1-1.dsc b988e9e093e0776aeb9399e3c3ee1a561ac48a2b 53994 commons-exec_1.0.1.orig.tar.gz ca9a85d1e10de5dc57fe3bb6c0e143f4a2500e03 2202 commons-exec_1.0.1-1.diff.gz ad0fe0ef99689e62ea97b814aef585ac77b03b32 40274 libcommons-exec-java_1.0.1-1_all.deb Checksums-Sha256: 3e18b84e31a3f1da34109653b6eebea24a9121f47b42b78e05908be25395c37f 1356 commons-exec_1.0.1-1.dsc 2bfd6b2872590996a6d3345c4b4dc0a9467ed32a424a5895080e152177ef9c6e 53994 commons-exec_1.0.1.orig.tar.gz b5de83ec95786180f870b789b13c57fb3d11759b43b895eae3c37ae6edde5f16 2202 commons-exec_1.0.1-1.diff.gz 093ec3c4d59cffc0213102ad40cbab556bed25196508797c98d92f6b1334c0f8 40274 libcommons-exec-java_1.0.1-1_all.deb Files: fa5ade7897f2150851a6f9dafa1b08a7 1356 java optional commons-exec_1.0.1-1.dsc b7e6651869f659345cb8e98d82747ba5 53994 java optional commons-exec_1.0.1.orig.tar.gz 74211aeb340ea3ec190cffdc276b2010 2202 java optional commons-exec_1.0.1-1.diff.gz bf1205b87f3c35acd12fd09b82d7386f 40274 java optional libcommons-exec-java_1.0.1-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkunFDsACgkQFyn1hmqfPDhZCQCfQeOSorKQ2T4XyjKZ+lZMzIUx inoAoJY/kxz/pLimLoNjYSgFI2op4gM2 =T/iN -END PGP SIGNATURE- Accepted: commons-exec_1.0.1-1.diff.gz to main/c/commons-exec/commons-exec_1.0.1-1.diff.gz commons-exec_1.0.1-1.dsc to main/c/commons-exec/commons-exec_1.0.1-1.dsc commons-exec_1.0.1.orig.tar.gz to main/c/commons-exec/commons-exec_1.0.1.orig.tar.gz libcommons-exec-java_1.0.1-1_all.deb to main/c/commons-exec/libcommons-exec-java_1.0.1-1_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1nu2oa-0007jm...@ries.debian.org
Accepted dot2tex 2.8.7+repack-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 10 Feb 2010 22:35:17 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.7+repack-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.8.7+repack-1) unstable; urgency=low . * New upstream release * debian/control: new Standards-Version * debian/rules: introduced a get-orig-source rule to repack the tarball because of bad permissions * debian/doc-base: added * debian/copyright: updated year and license information Checksums-Sha1: 4f45b024e465587b0d4d81fad39eb05ea7da139d 1397 dot2tex_2.8.7+repack-1.dsc 1739bf883b8b05754e64654cdfb88f7ffe92ba9b 573254 dot2tex_2.8.7+repack.orig.tar.gz bb1b0434ed4d7879c2ff4a85dfde35d0d3ba965d 5872 dot2tex_2.8.7+repack-1.diff.gz b3781ff1731fb51fd2beae24549af2e01b2cb769 353922 dot2tex_2.8.7+repack-1_all.deb Checksums-Sha256: 3f7f5cab4042b2dc9175e9636cd01f846a5cbb4aac6d8111bab3c681183fc52e 1397 dot2tex_2.8.7+repack-1.dsc 3c0376113ba39b594e323d04013533aced2c27d878dc07deded70312e91d5427 573254 dot2tex_2.8.7+repack.orig.tar.gz 36d0aa863592a428690c6a02e11497db147a0c4a58070dc36e1112f9e950bd0b 5872 dot2tex_2.8.7+repack-1.diff.gz c55245a37982f4b0184d77cfe793e00e6aaada741642bc5cdb01de9b9362cdf1 353922 dot2tex_2.8.7+repack-1_all.deb Files: f9c806bd291220b05b16e593de2284d1 1397 graphics optional dot2tex_2.8.7+repack-1.dsc 0221fa2b9e7b5d995ecc2b52cad93cf3 573254 graphics optional dot2tex_2.8.7+repack.orig.tar.gz d0c7da70b460f554345aca10b151f314 5872 graphics optional dot2tex_2.8.7+repack-1.diff.gz 0d12b8f6fc4d3553d2eeb8d4243f15b5 353922 graphics optional dot2tex_2.8.7+repack-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAktzQGUACgkQXDqn6DSH7HEGtgCfTmTJg+PKoupfY/obgdWCV0X3 57gAoLDZ4aV3A44r55Fw1nnChvk1GEBS =zdgP -END PGP SIGNATURE- Accepted: dot2tex_2.8.7+repack-1.diff.gz to main/d/dot2tex/dot2tex_2.8.7+repack-1.diff.gz dot2tex_2.8.7+repack-1.dsc to main/d/dot2tex/dot2tex_2.8.7+repack-1.dsc dot2tex_2.8.7+repack-1_all.deb to main/d/dot2tex/dot2tex_2.8.7+repack-1_all.deb dot2tex_2.8.7+repack.orig.tar.gz to main/d/dot2tex/dot2tex_2.8.7+repack.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#569096: ITP: clojure-maven-plugin -- Clojure plugin for Maven
Package: wnpp Severity: wishlist Owner: Peter Collingbourne pe...@pcc.me.uk * Package name: clojure-maven-plugin Version : 1.3.1 Upstream Author : Mark Derricutt m...@talios.com * URL : http://github.com/talios/clojure-maven-plugin * License : Apache 2.0, Eclipse 1.0 Programming Lang: Java Description : Clojure plugin for Maven Clojure is a dynamic programming language that targets the Java Virtual Machine. It is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming. . This package provides a Maven Mojo allowing for programs written using Clojure to be built with Maven. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#568953: ITP: commons-exec -- a library to reliably execute external processes from within the JVM
Package: wnpp Severity: wishlist Owner: Peter Collingbourne pe...@pcc.me.uk * Package name: commons-exec Version : 1.0.1 Upstream Author : Siegfried Goeschl sgoes...@apache.org : Sebastian Bazley s...@apache.org : Brett Leslie Porter br...@apache.org : Niall Kegan Pemberton nia...@apache.org : Henri Yandell bay...@apache.org : Niklas Gustavsson n...@apache.org : Dennis Lundberg denn...@apache.org : Trygve Laugstol tryg...@apache.org : Rahul Akolkar ra...@apache.org : Joerg Schaible joe...@apache.org : Henri Biestro hen...@apache.org * URL : http://commons.apache.org/exec/ * License : Apache 2.0 Programming Lang: Java Description : a library to reliably execute external processes from within the JVM Executing external processes from Java is a well-known problem area. It is inherently platform dependent and requires the developer to know and test for platform specific behaviors, for example using cmd.exe on Windows or limited buffer sizes causing deadlocks. The JRE support for this is very limited, albeit better with the new Java SE 1.5 ProcessBuilder class. . Reliably executing external processes can also require knowledge of the environment variables before or after the command is executed. In J2SE 1.1-1.4 there is no support for this, since the method, System.getenv(), for retrieving environment variables is deprecated. . There are currently several different libraries that for their own purposes have implemented frameworks around Runtime.exec() to handle the various issues outlined above. The commons-exec package aims at coordinating and learning from these initiatives to create and maintain a simple, reusable and well-tested package. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted clojure 1.1.0+dfsg-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 01 Feb 2010 20:15:24 + Source: clojure Binary: clojure Architecture: source all Version: 1.1.0+dfsg-1 Distribution: unstable Urgency: low Maintainer: Debian Java Maintainers pkg-java-maintain...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Changes: clojure (1.1.0+dfsg-1) unstable; urgency=low . * debian/rules, debian/watch: Modified the get-orig-source rule and watchfile to handle more source layouts * New upstream release. * debian/clojure.poms, debian/control, debian/dirs, debian/maven.rules, debian/patches/01-system-asm.patch, debian/rules: Register clojure in the maven repository * debian/control: upped Standards-Version to 3.8.4 * debian/rules: Set the changes.txt file as the upstream changelog * debian/copyright: updated to reflect current licensing position * debian/copyright: bumped year to 2010 * debian/clojurec.1, debian/scripts/clojurec: added a -W or -Wreflect option to clojurec * debian/clojure-repl.1, debian/clojurec.1: escaped all program option dashes * debian/control: changed Vcs-* references to new location * debian/README.source: documented the use of silt Checksums-Sha1: 4da19ee7a1aba3654c878cb95e8755b7b5906ce3 1318 clojure_1.1.0+dfsg-1.dsc 78a26d0b3d16d0ccd7c58e8635f7dc1c9a96db18 328978 clojure_1.1.0+dfsg.orig.tar.gz cd0145b912399804e6c95413e14646438578eac8 10998 clojure_1.1.0+dfsg-1.diff.gz 8e76abf8c6963fdd2aff475798aa37fac0948fbc 1610152 clojure_1.1.0+dfsg-1_all.deb Checksums-Sha256: 4cfa722f29cd4309ed27f030d5845ee417a23168735bd65f82f412c429589924 1318 clojure_1.1.0+dfsg-1.dsc 10532ed20eceac76e3cdedd63d089bfd58ff30af29cc2536ea9419abf5aad03c 328978 clojure_1.1.0+dfsg.orig.tar.gz d47a4faedef1c5bf8381fe6a7878519f68d7fa08081e71f4bd263a04706bb42c 10998 clojure_1.1.0+dfsg-1.diff.gz f4d3a66f30a121ca10657c9fcee20008fae65b636298cb066337f7a8316ea1e2 1610152 clojure_1.1.0+dfsg-1_all.deb Files: 43973b22ffd5d931cec54f162d430641 1318 devel optional clojure_1.1.0+dfsg-1.dsc fafcc498d08790c6689dec3c93950159 328978 devel optional clojure_1.1.0+dfsg.orig.tar.gz 094d69e93d764241a192b826153ecd4f 10998 devel optional clojure_1.1.0+dfsg-1.diff.gz 9786b2499e1e69a1e43b96097585d6a2 1610152 devel optional clojure_1.1.0+dfsg-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAktnkm0ACgkQXDqn6DSH7HHqEACg2dbgpUdgiLJhWaGaC4IhB0m+ nf0AoJ+Be/kYh7yWM6omMHHwLU4I0k5Z =wUXO -END PGP SIGNATURE- Accepted: clojure_1.1.0+dfsg-1.diff.gz to main/c/clojure/clojure_1.1.0+dfsg-1.diff.gz clojure_1.1.0+dfsg-1.dsc to main/c/clojure/clojure_1.1.0+dfsg-1.dsc clojure_1.1.0+dfsg-1_all.deb to main/c/clojure/clojure_1.1.0+dfsg-1_all.deb clojure_1.1.0+dfsg.orig.tar.gz to main/c/clojure/clojure_1.1.0+dfsg.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted dot2tex 2.8.6-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 29 Jul 2009 21:37:05 -0700 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.6-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.8.6-1) unstable; urgency=low . * New upstream release * debian/control: new Standards-Version * debian/dot2tex.1: documented the --pgf118 option * debian/dot2tex.1: fixed typo * debian/dot2tex.1: documented the mechanism for automatic conversion of dot files to xdot format Checksums-Sha1: bd6dedaca20d41cf2787dee8016a6319ef483043 1348 dot2tex_2.8.6-1.dsc db5faad170f6abc3988fe2d38bf513e360609670 601246 dot2tex_2.8.6.orig.tar.gz a9a5204898c0f8528700ebd3e764202813472a32 5412 dot2tex_2.8.6-1.diff.gz ae92626bdefc041376699b858c93c7463cbf0790 372784 dot2tex_2.8.6-1_all.deb Checksums-Sha256: 22df68eeb43df97b7773a1fe5a5b9e39537f39a1d2108b6cfc00d590bcc3632d 1348 dot2tex_2.8.6-1.dsc 9cb23ed72b97f91b87e06ab5b71f6695cd023733a14caffa3aacd75cfa40a584 601246 dot2tex_2.8.6.orig.tar.gz 8884edd304c2ffcc37ed107a85509fc93a68ad6738c4d5287150a19720dd056a 5412 dot2tex_2.8.6-1.diff.gz e8dc8638e9633508a1ae227195dc3dc39101177208f9b5afbb13989c8bab3b88 372784 dot2tex_2.8.6-1_all.deb Files: 2a57d56e2ddc549014cc40c014d66a3c 1348 graphics optional dot2tex_2.8.6-1.dsc 8af7c44ea6484d47faee31cacbad9206 601246 graphics optional dot2tex_2.8.6.orig.tar.gz 758788d90fa37f75791a9d52b10422f6 5412 graphics optional dot2tex_2.8.6-1.diff.gz ce046d4b58b78fc1a1643ff5012a9e4e 372784 graphics optional dot2tex_2.8.6-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkpxP8IACgkQXDqn6DSH7HHZdgCg2gitxUcXZNTD73d/aUVg4ZUl wK4AoKOkJsv6CnVXUoOlyy5tTDoB4srf =bYoS -END PGP SIGNATURE- Accepted: dot2tex_2.8.6-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.8.6-1.diff.gz dot2tex_2.8.6-1.dsc to pool/main/d/dot2tex/dot2tex_2.8.6-1.dsc dot2tex_2.8.6-1_all.deb to pool/main/d/dot2tex/dot2tex_2.8.6-1_all.deb dot2tex_2.8.6.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.8.6.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted clojure 1.0.0+dfsg-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 07 May 2009 15:09:44 +0100 Source: clojure Binary: clojure Architecture: source all Version: 1.0.0+dfsg-1 Distribution: unstable Urgency: low Maintainer: Debian Java Maintainers pkg-java-maintain...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Changes: clojure (1.0.0+dfsg-1) unstable; urgency=low . * New upstream release. * debian/rules, debian/watch: s/.dfsg/+dfsg/; changes required to deal with new version numbering scheme and source code layout * debian/install, debian/rules: version the clojure.jar file * debian/copyright: updated * debian/patches/01-system-asm.patch, debian/scripts/clojure, debian/scripts/clojurec, debian/scripts/clojure-repl, debian/README.Debian: add a Class-Path attribute to clojure.jar to automatically bring in asm3 and asm3-commons deps * debian/clojure-repl.1, debian/clojure.1, debian/clojurec.1, debian/scripts/clojure: clojure script now uses clojure.main. Rewrote man page and deprecated clojure-repl which provides the same functionality * debian/control: s/svn+ssh/svn/ for Vcs-Svn field Checksums-Sha1: 4c24c758c9598a7a091415fb3f6c37cd39d3ca2b 1309 clojure_1.0.0+dfsg-1.dsc acea4f9576bd8bd0f564bdff8dffea77ad887d1e 274089 clojure_1.0.0+dfsg.orig.tar.gz 47bc4a352e764a20194e316b4722742e1e4f8eb1 10414 clojure_1.0.0+dfsg-1.diff.gz 41765545a2b02fe15dc93a44b7064a055272b92e 1290638 clojure_1.0.0+dfsg-1_all.deb Checksums-Sha256: 3e7206bd0c88ff56293d861e6fa64f919cd5ef77fd75775adbec173020dc004b 1309 clojure_1.0.0+dfsg-1.dsc 0fad1f00d08c7e079eae65150c4d4654f02bc2e8b2a57eb8e8a87d21cbe04723 274089 clojure_1.0.0+dfsg.orig.tar.gz 690552ce64e5546772e4a67608ee7299022fc4b19a92eee954318856463d3344 10414 clojure_1.0.0+dfsg-1.diff.gz 338e05b6f84085716e6e2d812de62be476552c1305c9a3e9adc091460771ff9a 1290638 clojure_1.0.0+dfsg-1_all.deb Files: cb8f74a9b9271cf90db7d7c7e501acd0 1309 devel optional clojure_1.0.0+dfsg-1.dsc 0ebfaeb7fe8c46ccfd24673dfd093725 274089 devel optional clojure_1.0.0+dfsg.orig.tar.gz b0535e8a0f845f4bf6b4f51405cbc338 10414 devel optional clojure_1.0.0+dfsg-1.diff.gz dd97bdc95684ed7cd87a13802d85eda3 1290638 devel optional clojure_1.0.0+dfsg-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkoEJrIACgkQXDqn6DSH7HEe5gCfZZP8piOQUUZTN/yYuEcFQjLv 3YEAniTYC3LwVpKO0Fkz8pd82fkczLWA =/ost -END PGP SIGNATURE- Accepted: clojure_1.0.0+dfsg-1.diff.gz to pool/main/c/clojure/clojure_1.0.0+dfsg-1.diff.gz clojure_1.0.0+dfsg-1.dsc to pool/main/c/clojure/clojure_1.0.0+dfsg-1.dsc clojure_1.0.0+dfsg-1_all.deb to pool/main/c/clojure/clojure_1.0.0+dfsg-1_all.deb clojure_1.0.0+dfsg.orig.tar.gz to pool/main/c/clojure/clojure_1.0.0+dfsg.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted ladr 0.0.200902a-2 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 03 May 2009 18:07:07 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200902a-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Closes: 526541 Changes: ladr (0.0.200902a-2) unstable; urgency=low . * Merged from Ubuntu, fixes FTBFS (closes: #526541) - Drop -shared from the libtool command to make libladr.la in debian/patches/01-libtoolise.dpatch so that both the shared and static libraries are built. The .install file tries to install both, and if -shared is passed the .a isn't built and the package fails to build. This appears to be a change in libtool behaviour. Checksums-Sha1: cc6c298404cae53e2f38fea74890bd14d1d7a9b9 1161 ladr_0.0.200902a-2.dsc 01e970c80e5fb96763a0150901701cb6f4effa7b 17239 ladr_0.0.200902a-2.diff.gz 3ddacab511c802b9911ea8cf9100893525b61475 400942 libladr-dev_0.0.200902a-2_amd64.deb 4a35a41f7a14996d29af99ba6a0c6dc01d20bee8 238708 libladr4_0.0.200902a-2_amd64.deb ac76600af1e433d74c7c5f0c2b65343384b10928 127580 prover9_0.0.200902a-2_amd64.deb 1af5cc9739c3697682294c0f6f1862429ee0c14f 369898 ladr4-apps_0.0.200902a-2_amd64.deb Checksums-Sha256: 07dc2d22ad6db40c2b9288377419853575e62cb47eba5fd0cf04d95a2faf6034 1161 ladr_0.0.200902a-2.dsc db7426412cb21e718e8f46fe46d47c2ded747dac4a6da51183a4477a212ebc0a 17239 ladr_0.0.200902a-2.diff.gz 61c0c98716a90074aca7b1b76bdfaef131e2a9062a71cd9af1433aab88e2cf19 400942 libladr-dev_0.0.200902a-2_amd64.deb 1a27b3dbb36e8614e6ba8a0baa84c08e19bb5641f4eb184e0ca62f659e38cd0a 238708 libladr4_0.0.200902a-2_amd64.deb ebccca6c947dd7f8e0b8f4a661b8e3394c1fc690c823dc089416174711a730e4 127580 prover9_0.0.200902a-2_amd64.deb e4edda87abafc8c69793e36bcdeb4dd7a33f1fffa0f928811ffaeb7687cb1364 369898 ladr4-apps_0.0.200902a-2_amd64.deb Files: 2df00e8e081c7d55e692a1cf1780aa64 1161 math optional ladr_0.0.200902a-2.dsc 5a780276344a55e8396a799a56b8fe93 17239 math optional ladr_0.0.200902a-2.diff.gz a48a9369ee79f6927f52ffa5742a5026 400942 libdevel optional libladr-dev_0.0.200902a-2_amd64.deb bec5eea774ea42de40e38b89fc47b256 238708 libs optional libladr4_0.0.200902a-2_amd64.deb f826f2d4a956f406c95fc22d04756fcd 127580 math optional prover9_0.0.200902a-2_amd64.deb f73d87432e9e7977d673cffbc18b36e8 369898 math optional ladr4-apps_0.0.200902a-2_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkn91BYACgkQXDqn6DSH7HGaLQCgiCsJ0nfFN8C2u4m/W4aGrpGW FYkAnjhztY3YY9uYXzSTpzrWWODXY+1R =Npk1 -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200902a-2_amd64.deb to pool/main/l/ladr/ladr4-apps_0.0.200902a-2_amd64.deb ladr_0.0.200902a-2.diff.gz to pool/main/l/ladr/ladr_0.0.200902a-2.diff.gz ladr_0.0.200902a-2.dsc to pool/main/l/ladr/ladr_0.0.200902a-2.dsc libladr-dev_0.0.200902a-2_amd64.deb to pool/main/l/ladr/libladr-dev_0.0.200902a-2_amd64.deb libladr4_0.0.200902a-2_amd64.deb to pool/main/l/ladr/libladr4_0.0.200902a-2_amd64.deb prover9_0.0.200902a-2_amd64.deb to pool/main/l/ladr/prover9_0.0.200902a-2_amd64.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted p9m4 0.5.dfsg-2 (source all)
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 03 May 2009 16:00:55 +0100
Source: p9m4
Binary: prover9-mace4
Architecture: source all
Version: 0.5.dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne pe...@pcc.me.uk
Changed-By: Peter Collingbourne pe...@pcc.me.uk
Description:
prover9-mace4 - GUI for Prover9 and Mace4
Closes: 526685
Changes:
p9m4 (0.5.dfsg-2) unstable; urgency=low
.
[ Sandro Tosi ]
* debian/control
- switch Vcs-Browser field to viewsvn
.
[ Marco Rodrigues ]
* debian/control:
+ Add ${misc:Depends} to Depends to remove
lintian warning.
.
[ Peter Collingbourne ]
* debian/install: removed shell brace expansion
* debian/prover9-mace4.1, debian/control, debian/copyright: changed
maintainer email address
* debian/copyright: updated year, use correct declaration of
copyright, refer to version of GPL
* debian/control: updated Standards-Version
* debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on
64-bit platforms (closes: #526685)
* debian/control: added DM-Upload-Allowed: yes
Checksums-Sha1:
8fca258921c209d8ec21d6dfb457cb2203e1d011 1326 p9m4_0.5.dfsg-2.dsc
cb6674f0cc3524f1c5a84f787f76f889553e4096 8675 p9m4_0.5.dfsg-2.diff.gz
5cf3bbc36d0b7707b303069140e90c70b822df00 67444 prover9-mace4_0.5.dfsg-2_all.deb
Checksums-Sha256:
418be0dd7d63995db6f49ecc5e14ffa9001e7ba747d8f4f86d88961a7063c99c 1326
p9m4_0.5.dfsg-2.dsc
a0bfa3bb7de3a5e17c34379cd3ba1987b14218eec2fa0fc45c9f4be68b6467e9 8675
p9m4_0.5.dfsg-2.diff.gz
6e928d55e8d3621dc5104a48da64174d16d3d4ed4bf4876bec5c3a2ee49ecdb2 67444
prover9-mace4_0.5.dfsg-2_all.deb
Files:
ada7aaaf3871ca5572ffe45f19107a4d 1326 math optional p9m4_0.5.dfsg-2.dsc
d118d27a7bad4866399cea99e7a4c494 8675 math optional p9m4_0.5.dfsg-2.diff.gz
f26a12f1f4266b1a56ab769b4c46778c 67444 math optional
prover9-mace4_0.5.dfsg-2_all.deb
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkn96h4ACgkQBnqtBMk7/3kLSwCgj8CUT+g9OuMittdkX3UoOkeO
8BMAn2//3AKYIwkFl68vWpKSf060UQJ0
=a5c0
-END PGP SIGNATURE-
Accepted:
p9m4_0.5.dfsg-2.diff.gz
to pool/main/p/p9m4/p9m4_0.5.dfsg-2.diff.gz
p9m4_0.5.dfsg-2.dsc
to pool/main/p/p9m4/p9m4_0.5.dfsg-2.dsc
prover9-mace4_0.5.dfsg-2_all.deb
to pool/main/p/p9m4/prover9-mace4_0.5.dfsg-2_all.deb
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted clojure 0.0.20090320.dfsg-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 21 Mar 2009 12:02:43 + Source: clojure Binary: clojure Architecture: source all Version: 0.0.20090320.dfsg-1 Distribution: unstable Urgency: low Maintainer: Debian Java Maintainers pkg-java-maintain...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Changes: clojure (0.0.20090320.dfsg-1) unstable; urgency=low . * New upstream release. * debian/patches/01-system-asm.patch: updated * debian/patches/02-better-bytecode.patch: removed; applied upstream * debian/control: upped Standards-Version to 3.8.1 * debian/source.lintian-overrides: override .dfsg lintian info due to date-based version number Checksums-Sha1: bd0458a76703103a0d0022682c97d747bb4353e1 1359 clojure_0.0.20090320.dfsg-1.dsc 59772495138dd8b044f0650a221487d9c330a80a 276084 clojure_0.0.20090320.dfsg.orig.tar.gz 6a4ce8120bec0aad180effeebce05959a312f1f6 9960 clojure_0.0.20090320.dfsg-1.diff.gz 82ede5881f43f6edf231834d4c76c147d200ea87 1294386 clojure_0.0.20090320.dfsg-1_all.deb Checksums-Sha256: 86a2485c567ac5f9be0d78617c9019e3938423095ed773595f4b3ad3c63c7027 1359 clojure_0.0.20090320.dfsg-1.dsc f5a3145a297b767b032e7320a80ca142de9e3ae1696694a43b2cfc94016fdea7 276084 clojure_0.0.20090320.dfsg.orig.tar.gz 7220cc2bf8b681f588c54573e0b5ec81ed24bce03fa9f2927cb402479b8ab0c9 9960 clojure_0.0.20090320.dfsg-1.diff.gz 52bd80fee70f29308d01df82afbf1545ee17f960b9df39f6337ceb9c87e3f770 1294386 clojure_0.0.20090320.dfsg-1_all.deb Files: 812cd50c1b32bc63752b513b8f0312cb 1359 devel optional clojure_0.0.20090320.dfsg-1.dsc afb8700c6caff219f537723e485d942c 276084 devel optional clojure_0.0.20090320.dfsg.orig.tar.gz 959f7faec9217ca3ad3c9714ef7f4090 9960 devel optional clojure_0.0.20090320.dfsg-1.diff.gz 8798db0702b1f7704c8b38462698233d 1294386 devel optional clojure_0.0.20090320.dfsg-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAknFLdIACgkQXDqn6DSH7HGtcQCglTLuO3gG6+gJKx2qotWoIYDy zCkAn2oNOyFSnxM0hG/MWcYkHglJffPZ =MZEF -END PGP SIGNATURE- Accepted: clojure_0.0.20090320.dfsg-1.diff.gz to pool/main/c/clojure/clojure_0.0.20090320.dfsg-1.diff.gz clojure_0.0.20090320.dfsg-1.dsc to pool/main/c/clojure/clojure_0.0.20090320.dfsg-1.dsc clojure_0.0.20090320.dfsg-1_all.deb to pool/main/c/clojure/clojure_0.0.20090320.dfsg-1_all.deb clojure_0.0.20090320.dfsg.orig.tar.gz to pool/main/c/clojure/clojure_0.0.20090320.dfsg.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted clojure 0.0.20081217.dfsg-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 02 Jan 2009 18:50:41 + Source: clojure Binary: clojure Architecture: source all Version: 0.0.20081217.dfsg-1 Distribution: unstable Urgency: low Maintainer: Debian Java Maintainers pkg-java-maintain...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Closes: 454566 Changes: clojure (0.0.20081217.dfsg-1) unstable; urgency=low . * Initial release (closes: #454566) Checksums-Sha1: 6ec11dff2c866ad4243b608ec0118049c531e2ac 1362 clojure_0.0.20081217.dfsg-1.dsc ba8b3a74e20493750a96662b96a61374c2574a08 265034 clojure_0.0.20081217.dfsg.orig.tar.gz 9c8b0df996c513597a82397913eab1e1c717eda9 10685 clojure_0.0.20081217.dfsg-1.diff.gz 5c81b82037cfc7b28ad32e71b4316185416df429 1183952 clojure_0.0.20081217.dfsg-1_all.deb Checksums-Sha256: 516865e0a974e7b2d53c87552caff32e85b53bce245c4002eaacbce2d95ff734 1362 clojure_0.0.20081217.dfsg-1.dsc cc9207938f7220bfd10a06f8abecc2fc4dfa4e6e1c42577bf7735336b2e2694e 265034 clojure_0.0.20081217.dfsg.orig.tar.gz 741e43102b6730246964d07d84d82a7898ca7965b2110468d7019b42f12d77f3 10685 clojure_0.0.20081217.dfsg-1.diff.gz 493f273cbb308435e241a918e9fa8d01c1f0ef8a9b5b578755781a8e11f837f1 1183952 clojure_0.0.20081217.dfsg-1_all.deb Files: bce8a2f574333417efbbee1818775e8a 1362 devel optional clojure_0.0.20081217.dfsg-1.dsc 56dec6fe7394ea368d3993b8787465b3 265034 devel optional clojure_0.0.20081217.dfsg.orig.tar.gz 04df651600e54cea8e90593566a4948f 10685 devel optional clojure_0.0.20081217.dfsg-1.diff.gz 3e000e5159d79b2cf3fc3f9dd7d7cf52 1183952 devel optional clojure_0.0.20081217.dfsg-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmN18MACgkQfY3dicTPjsOz3wCdGm1+HIu71fheLqMzWkb8IDc/ Qm0AnAs0jYu4nS89pg6IwuBvMKhv3gpH =rVfH -END PGP SIGNATURE- Accepted: clojure_0.0.20081217.dfsg-1.diff.gz to pool/main/c/clojure/clojure_0.0.20081217.dfsg-1.diff.gz clojure_0.0.20081217.dfsg-1.dsc to pool/main/c/clojure/clojure_0.0.20081217.dfsg-1.dsc clojure_0.0.20081217.dfsg-1_all.deb to pool/main/c/clojure/clojure_0.0.20081217.dfsg-1_all.deb clojure_0.0.20081217.dfsg.orig.tar.gz to pool/main/c/clojure/clojure_0.0.20081217.dfsg.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted dot2tex 2.8.5-1 (source all)
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 15 Mar 2009 16:23:06 +
Source: dot2tex
Binary: dot2tex
Architecture: source all
Version: 2.8.5-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne pe...@pcc.me.uk
Changed-By: Peter Collingbourne pe...@pcc.me.uk
Description:
dot2tex- Graphviz to LaTeX converter
Changes:
dot2tex (2.8.5-1) unstable; urgency=low
.
[ Sandro Tosi ]
* debian/control
- switch Vcs-Browser field to viewsvn
.
[ Marco Rodrigues ]
* debian/control:
+ Add ${misc:Depends} to Depends to remove
lintian warning.
.
[ Peter Collingbourne ]
* New upstream release
* debian/control: new Standards-Version
* debian/control: generated files now require pgf = 2.00
* debian/copyright: changed year to 2009
* debian/control, debian/copyright, debian/dot2tex.1: changed
maintainer email address (again)
* debian/copyright: refer specifically to GPL-2
* debian/copyright: use the word Copyright to correctly express
copyright ownership
Checksums-Sha1:
fb744fe1f9e9af06cbf50624bc05c7ae2a933051 1348 dot2tex_2.8.5-1.dsc
0a4d7bdc14d77a86bcd9108dbf2ceb09c636c713 598006 dot2tex_2.8.5.orig.tar.gz
3f6f81bc905ca57820b5a74326154bbaf9391929 5285 dot2tex_2.8.5-1.diff.gz
4d50eecd37e770d977cc360df3ffcbeefef02b8c 371110 dot2tex_2.8.5-1_all.deb
Checksums-Sha256:
671414a6726a8783c5e84d129df5148816d546a187e526a97e3cca3d4b7a30e0 1348
dot2tex_2.8.5-1.dsc
474543cf2ebabdb13c8426167fc231975a46daae6010fcc1bd62b5f8deec1ca1 598006
dot2tex_2.8.5.orig.tar.gz
6095de1a5402a01193e06881d124ca64ac820d82b42e365391dc42d6f08430ef 5285
dot2tex_2.8.5-1.diff.gz
579c4dac5179a843b4787e309acb55a811772adf0d996138b7b001154ea4eb24 371110
dot2tex_2.8.5-1_all.deb
Files:
f4bcc95704ad7006e59afa158c7a567a 1348 graphics optional dot2tex_2.8.5-1.dsc
94e3d97acbd66e24de9a7403d278dd60 598006 graphics optional
dot2tex_2.8.5.orig.tar.gz
9a1892c19908f392a07977eb86bfc594 5285 graphics optional dot2tex_2.8.5-1.diff.gz
c13c270390fb11dbda9ac7aa851e07a0 371110 graphics optional
dot2tex_2.8.5-1_all.deb
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkm9PAoACgkQXDqn6DSH7HEUcgCfcLqEkYwc0+yqMjtJ1AjUEM/1
FYYAoJLXyfurI0e3PYEomQGqxm8sjNw4
=Fmpe
-END PGP SIGNATURE-
Accepted:
dot2tex_2.8.5-1.diff.gz
to pool/main/d/dot2tex/dot2tex_2.8.5-1.diff.gz
dot2tex_2.8.5-1.dsc
to pool/main/d/dot2tex/dot2tex_2.8.5-1.dsc
dot2tex_2.8.5-1_all.deb
to pool/main/d/dot2tex/dot2tex_2.8.5-1_all.deb
dot2tex_2.8.5.orig.tar.gz
to pool/main/d/dot2tex/dot2tex_2.8.5.orig.tar.gz
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted prover9-manual 0.0.200902a-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 15 Mar 2009 00:53:52 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200902a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: prover9-doc - documentation for Prover9 and associated programs Changes: prover9-manual (0.0.200902a-1) unstable; urgency=low . * New upstream release. * debian/examples: updated * debian/control: new Standards-Version Checksums-Sha1: 0c8e6f3886238cae7d9559ecb87aee3c886a7234 1227 prover9-manual_0.0.200902a-1.dsc de9bd94d3f631ad7781640ac17886082eb22af93 103 prover9-manual_0.0.200902a.orig.tar.gz 8c7702cf7e1a905a601d6251140eb465fd47e68c 4185 prover9-manual_0.0.200902a-1.diff.gz daafb900765f0c1f6ed5604403d817d3b7a8a40e 968774 prover9-doc_0.0.200902a-1_all.deb Checksums-Sha256: c4412b363581d9511d28036729ee8acde0f2e3fb30d3b834da56fe64788f505c 1227 prover9-manual_0.0.200902a-1.dsc 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 103 prover9-manual_0.0.200902a.orig.tar.gz 0d14cb86876ecb20bdcbe1fad98f288a9dd7d46629ff24a7340ef4fa2deeefcf 4185 prover9-manual_0.0.200902a-1.diff.gz 381a20ff5de1faa666d2ec3fce403764edb10f530fb48c64d1e0002e8cdc 968774 prover9-doc_0.0.200902a-1_all.deb Files: f273dd2392eca57ac87b0c4376d98e1b 1227 doc optional prover9-manual_0.0.200902a-1.dsc 00b6779d2d3edbd4434a24eebb79b2a8 103 doc optional prover9-manual_0.0.200902a.orig.tar.gz 7427129d02078411724c50738beb2dca 4185 doc optional prover9-manual_0.0.200902a-1.diff.gz c6f1afd44d2140da5d80526f5e0f692b 968774 doc optional prover9-doc_0.0.200902a-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkm8V5YACgkQXDqn6DSH7HFqYQCgh0tNc4pjKUz9Sp80NaSH3UFx iOYAoJW6bBmDTf6I5HnBQrLzL7o7cKbU =zwHg -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200902a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200902a-1_all.deb prover9-manual_0.0.200902a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200902a-1.diff.gz prover9-manual_0.0.200902a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200902a-1.dsc prover9-manual_0.0.200902a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200902a.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted ladr 0.0.200902a-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 14 Mar 2009 23:55:22 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200902a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Changes: ladr (0.0.200902a-1) unstable; urgency=low . * New upstream release. * debian/control: updated for new prover9-doc * debian/ladr4-apps.install, debian/ladr4-apps.links: new application complex, removed application rewriter2 * debian/libladr4.symbols: updated * debian/control: new Standards-Version Checksums-Sha1: 787dc7db66cc9aeaff21f14bbee62bdafc5ea46e 1161 ladr_0.0.200902a-1.dsc 2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz 48cf904a27a2ae0d80e5c542b933ad0d7f9e 17042 ladr_0.0.200902a-1.diff.gz 38af1ce111840848b6c8a3005feb707e6620371a 400736 libladr-dev_0.0.200902a-1_amd64.deb 802e59f13bbfe9f6feeabaa33a99311dba919565 238522 libladr4_0.0.200902a-1_amd64.deb 3019fed71cdfe49c277c31207d14a063238ed4f8 127390 prover9_0.0.200902a-1_amd64.deb 1f6c19321831704da9e645c862e997d0b96e5187 369696 ladr4-apps_0.0.200902a-1_amd64.deb Checksums-Sha256: 3db15dce68217a738167402348574983a919b1b6e68cfcb41d7bb315f26129f6 1161 ladr_0.0.200902a-1.dsc 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz 84f4663cd3daa14570c7075256a6a0e5b09cdbfa5af68de52a27e67751ca5f7c 17042 ladr_0.0.200902a-1.diff.gz 9fcb5f013418036f937001f4e82afbe5348ae780935d0b1e2b176c2ffca7c146 400736 libladr-dev_0.0.200902a-1_amd64.deb df05420da0496e64d0dea47fb35fc5fb2c86b9ede82c284a0c25bbc00c5e080f 238522 libladr4_0.0.200902a-1_amd64.deb b923598729a4fe4cbb59052fdaa740ed1b49cff8c2232e70edf529c8b558ab4d 127390 prover9_0.0.200902a-1_amd64.deb 1584325e5ec5ec1a2fcfe86a3c9a629a96502d1e12790dce8bc0637a1922f787 369696 ladr4-apps_0.0.200902a-1_amd64.deb Files: d2f07f2f04a17ae4947134539d5b6018 1161 math optional ladr_0.0.200902a-1.dsc f37a5304737ea2b14caf90d0a784964e 1970966 math optional ladr_0.0.200902a.orig.tar.gz 1350532c9f27022765e58b0e82ff362f 17042 math optional ladr_0.0.200902a-1.diff.gz 11835fc6648ca8d4a55dbee5dab4a08a 400736 libdevel optional libladr-dev_0.0.200902a-1_amd64.deb f34530b787a5cba7421c451fa8ed28a6 238522 libs optional libladr4_0.0.200902a-1_amd64.deb dffdbf442c65a03ed71201f870bd2707 127390 math optional prover9_0.0.200902a-1_amd64.deb 26a60528f971f3dbc6a942c5516c5d8b 369696 math optional ladr4-apps_0.0.200902a-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkm8V5AACgkQXDqn6DSH7HHPVQCgnCih3AKQUSYIQ/nlQOls/osN 08wAnRmpeu1y2G60CCTvnral1ri3u8jA =vrGo -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200902a-1_amd64.deb to pool/main/l/ladr/ladr4-apps_0.0.200902a-1_amd64.deb ladr_0.0.200902a-1.diff.gz to pool/main/l/ladr/ladr_0.0.200902a-1.diff.gz ladr_0.0.200902a-1.dsc to pool/main/l/ladr/ladr_0.0.200902a-1.dsc ladr_0.0.200902a.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200902a.orig.tar.gz libladr-dev_0.0.200902a-1_amd64.deb to pool/main/l/ladr/libladr-dev_0.0.200902a-1_amd64.deb libladr4_0.0.200902a-1_amd64.deb to pool/main/l/ladr/libladr4_0.0.200902a-1_amd64.deb prover9_0.0.200902a-1_amd64.deb to pool/main/l/ladr/prover9_0.0.200902a-1_amd64.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted ladr 0.0.200811a-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Feb 2009 01:48:06 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200811a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Changes: ladr (0.0.200811a-1) unstable; urgency=low . * New upstream release. * debian/interpformat.1: documented option wrap * debian/patches/01-libtoolise.dpatch: updated from common * debian/libladr4.symbols: updated * debian/control: updated for new prover9-doc * debian/control: Vcs-Bzr uses nosmart+http protocol * debian/clausefilter.1, debian/clausetester.1, debian/control, debian/copyright, debian/interpfilter.1, debian/interpformat.1, debian/isofilter.1, debian/ladr4-apps.1, debian/ladr4-apps.README.Debian, debian/mace4.1, debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed maintainer email address (again) * debian/ladr4-apps.install, debian/ladr4-apps.links: new application rewriter2 * debian/control: do not duplicate Section field for binary packages * debian/copyright: changed year to 2009, corrected expression of copyright, refer to GPL-2 explicitly Checksums-Sha1: efe0157993b38ec8ac448eb6c52997c351d58fae 1161 ladr_0.0.200811a-1.dsc 48d5ca2f220f6357e1201c1e91bb1307f06f24f8 1750831 ladr_0.0.200811a.orig.tar.gz 0292b9cd42074a04d345436d5b51f20bcb3be060 16811 ladr_0.0.200811a-1.diff.gz bf622949f74deab89935345d50035304fcfd8e96 394362 libladr-dev_0.0.200811a-1_amd64.deb 9303f2b28c0578506fe02b3ac89c6adea8d443e8 233744 libladr4_0.0.200811a-1_amd64.deb 0717e656bcc25c78a6d24db7bf7ed9c9956ec1e5 125852 prover9_0.0.200811a-1_amd64.deb ffdc427469889f1a77bbc3a3e4d00b706bf4634d 365934 ladr4-apps_0.0.200811a-1_amd64.deb Checksums-Sha256: e0e86e1c068418b3b1606dfd1f4ec1fac17bb00507b1d1af108804d70c2a9410 1161 ladr_0.0.200811a-1.dsc 9c2a3b60d37c29dad924c24ab23d9220c6028234a3a91e1370c0464b691bd745 1750831 ladr_0.0.200811a.orig.tar.gz 19a462cf46f209908e395111f52c2cc53fc64b540a87cf6213b3a288d6e0c4b2 16811 ladr_0.0.200811a-1.diff.gz 85957266ba118b009bfcf6edb05fb6a4fbec1325e3692876fad332bc3ae00c61 394362 libladr-dev_0.0.200811a-1_amd64.deb db293e0757e7d6ac0a558d7b0857308c314c75293c30dffb114a8cbe6dfc5dc6 233744 libladr4_0.0.200811a-1_amd64.deb 45c351f7dd7c6f1418b3224fe994fa323ba238b6c224ed671ab3aec7ae1011e9 125852 prover9_0.0.200811a-1_amd64.deb 4462240ee872197c2f96a15a724ad6fc31c967fa17b4399333b7ea0bff4144c7 365934 ladr4-apps_0.0.200811a-1_amd64.deb Files: 6693b0222fb51920e22954c4466fc77e 1161 math optional ladr_0.0.200811a-1.dsc 10dade1f81da69bc82676f532ad112fa 1750831 math optional ladr_0.0.200811a.orig.tar.gz 315ba189c324ea922aa47f1d10727233 16811 math optional ladr_0.0.200811a-1.diff.gz bebe519a7ff82b6c08cbf2f44a903e8b 394362 libdevel optional libladr-dev_0.0.200811a-1_amd64.deb b7de8598ee5348666ebb71b671361233 233744 libs optional libladr4_0.0.200811a-1_amd64.deb 9b0a55182b9818bbc27a73f53b91a3d0 125852 math optional prover9_0.0.200811a-1_amd64.deb a0892819525c944fa92aff87ad0ef89e 365934 math optional ladr4-apps_0.0.200811a-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmaKioACgkQXDqn6DSH7HEGlACgt/tv92lwHkF+X6vXblUPb50M sIEAnjWCTDitTg3HMBNuNSBHd4ZqhqsL =+lbp -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200811a-1_amd64.deb to pool/main/l/ladr/ladr4-apps_0.0.200811a-1_amd64.deb ladr_0.0.200811a-1.diff.gz to pool/main/l/ladr/ladr_0.0.200811a-1.diff.gz ladr_0.0.200811a-1.dsc to pool/main/l/ladr/ladr_0.0.200811a-1.dsc ladr_0.0.200811a.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200811a.orig.tar.gz libladr-dev_0.0.200811a-1_amd64.deb to pool/main/l/ladr/libladr-dev_0.0.200811a-1_amd64.deb libladr4_0.0.200811a-1_amd64.deb to pool/main/l/ladr/libladr4_0.0.200811a-1_amd64.deb prover9_0.0.200811a-1_amd64.deb to pool/main/l/ladr/prover9_0.0.200811a-1_amd64.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted prover9-manual 0.0.200811a-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Feb 2009 02:20:39 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200811a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: prover9-doc - documentation for Prover9 and associated programs Changes: prover9-manual (0.0.200811a-1) unstable; urgency=low . * New upstream release. * debian/examples: updated * debian/control: Vcs-Bzr uses nosmart+http protocol * debian/control, debian/copyright: changed maintainer email address (again) * debian/copyright: changed year to 2009, corrected expression of copyright, refer to GPL-2 explicitly * debian/install: eliminated brace expansion Checksums-Sha1: b4bcf51a34f103ce11295ef5573448b79ac980d0 1224 prover9-manual_0.0.200811a-1.dsc 133a164f56e729c40fa823e98470745de77ef6a0 879434 prover9-manual_0.0.200811a.orig.tar.gz 490e46ba5de6e8ee4f80c51da4c826317a1da838 4113 prover9-manual_0.0.200811a-1.diff.gz 44952aa2ed609688ea856237fea225ed2c51fa27 818382 prover9-doc_0.0.200811a-1_all.deb Checksums-Sha256: 4da4769f6ce7e2221bc18ddde76bd9dff39a7465827f9003cad5acbff2502101 1224 prover9-manual_0.0.200811a-1.dsc 2e0e0e0849fa9c620d75428a5bd1ea0c31102b64585dd039a06d75864b2efb03 879434 prover9-manual_0.0.200811a.orig.tar.gz eeaa03452d9356941df48a057f8678fb1d695a0315e568ee1af6f880ae806059 4113 prover9-manual_0.0.200811a-1.diff.gz 59591fbb84f5b5f1be886610e5671839a43bd218fcd425c3807c702772f32aaa 818382 prover9-doc_0.0.200811a-1_all.deb Files: 681978c4df18e8637f9a1d2cf359e187 1224 doc optional prover9-manual_0.0.200811a-1.dsc 30a35f7257df78243e80b051a3cc3eb3 879434 doc optional prover9-manual_0.0.200811a.orig.tar.gz 69e8c4c736481338e2ce168b3d7d6425 4113 doc optional prover9-manual_0.0.200811a-1.diff.gz cc53a1aca030c48c8ea5e1a166c3de76 818382 doc optional prover9-doc_0.0.200811a-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmaKi4ACgkQXDqn6DSH7HH4qQCeK1saMBP3ySueM2cNa1WZNLJ2 5ZIAnim773EpbwSbp0rHhe/eqDqqhhTG =TTRd -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200811a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200811a-1_all.deb prover9-manual_0.0.200811a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200811a-1.diff.gz prover9-manual_0.0.200811a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200811a-1.dsc prover9-manual_0.0.200811a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200811a.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#510356: ITP: clojure -- a Lisp dialect for the JVM
Package: wnpp Severity: wishlist Owner: Peter Collingbourne pe...@pcc.me.uk * Package name: clojure Version : 0.0.20081217 Upstream Author : Rich Hickey richhic...@gmail.com * URL : http://clojure.org/ * License : Eclipse Public License 1.0 Programming Lang: Java, Clojure Description : a Lisp dialect for the JVM Clojure is a dynamic programming language that targets the Java Virtual Machine. It is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming. Clojure is a compiled language - it compiles directly to JVM bytecode, yet remains completely dynamic. Every feature supported by Clojure is supported at runtime. Clojure provides easy access to the Java frameworks, with optional type hints and type inference, to ensure that calls to Java can avoid reflection. Clojure is a dialect of Lisp, and shares with Lisp the code-as-data philosophy and a powerful macro system. Clojure is predominantly a functional programming language, and features a rich set of immutable, persistent data structures. When mutable state is needed, Clojure offers a software transactional memory system and reactive Agent system that ensure clean, correct, multithreaded designs. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.6.26-1-686 (SMP w/1 CPU core) Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Accepted dot2tex 2.8.4-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 29 Sep 2008 00:58:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.4-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.8.4-1) unstable; urgency=low . * New upstream release * debian/dot2tex.1: documented --cache option * debian/control: changed maintainer email address Checksums-Sha1: f816ea0a7b1ac137f668c729ab626eb73adc1334 1340 dot2tex_2.8.4-1.dsc 0b091309857278126a09fb4f15cda5ed3b3d1020 596443 dot2tex_2.8.4.orig.tar.gz 9e858f1b8784d09d412b5bcdb7bccee0296371f0 5043 dot2tex_2.8.4-1.diff.gz befa91920112a6ecbcdb79f05326f1d8ddd71810 371140 dot2tex_2.8.4-1_all.deb Checksums-Sha256: ff997fe7ad0de5e304db3130bf74dacc069087987c20f66af2ca69312f792a07 1340 dot2tex_2.8.4-1.dsc 114a4ed5fa0f480c8e6e9593dc1b271b3b2b4f1caf14a5c89340e76cae011b70 596443 dot2tex_2.8.4.orig.tar.gz 905233e6cd517f8a2324c37e19c26b9f37fa1c3539dffe3682670dbd344cd415 5043 dot2tex_2.8.4-1.diff.gz ae965f30a9a6d84ddb2370435014ee2d5666c2ef474f56765b93a283b840cd47 371140 dot2tex_2.8.4-1_all.deb Files: b9b863201150bb2f1e09e29c129984ae 1340 graphics optional dot2tex_2.8.4-1.dsc e63d164fad5722290646cb200dcfcb61 596443 graphics optional dot2tex_2.8.4.orig.tar.gz bee81ef3852e04469dad375f7ad33ba9 5043 graphics optional dot2tex_2.8.4-1.diff.gz f755e16e8543948ee55f4185644f19c7 371140 graphics optional dot2tex_2.8.4-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFI4CpAXDqn6DSH7HERAr2GAKCCrGX/EwVG49rjySso5RDbPtvfogCfd1K1 iUqZwSk3UenmsYaKw0DDT/I= =R7Rg -END PGP SIGNATURE- Accepted: dot2tex_2.8.4-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.8.4-1.diff.gz dot2tex_2.8.4-1.dsc to pool/main/d/dot2tex/dot2tex_2.8.4-1.dsc dot2tex_2.8.4-1_all.deb to pool/main/d/dot2tex/dot2tex_2.8.4-1_all.deb dot2tex_2.8.4.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.8.4.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted ladr 0.0.200809a-1 (source i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 13 Sep 2008 21:23:58 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200809a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Changes: ladr (0.0.200809a-1) unstable; urgency=low . * New upstream release. * debian/patches/01-libtoolise.dpatch: new programmatic patch script, original version by Heinz Wiesinger [EMAIL PROTECTED] * debian/control: updated for new prover9-doc * debian/libladr4.symbols: updated * debian/clausefilter.1, debian/clausetester.1, debian/control, debian/copyright, debian/interpfilter.1, debian/interpformat.1, debian/isofilter.1, debian/ladr4-apps.1, debian/ladr4-apps.README.Debian, debian/mace4.1, debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed maintainer email address Checksums-Sha1: ad54f29c36304f930ca4167a6a73da13bc0e872c 1147 ladr_0.0.200809a-1.dsc c12b1f1171481e0428a693f930779bd1081fac77 1754108 ladr_0.0.200809a.orig.tar.gz c9a4b0b8df25605264a23eb1de9645f84f29df9a 16945 ladr_0.0.200809a-1.diff.gz 14ae4866b46dc4c8d549187bd41d40a26ed7474e 343492 libladr-dev_0.0.200809a-1_i386.deb 0f33287af8562661fed990e780ef63189cd51184 210824 libladr4_0.0.200809a-1_i386.deb d66186ce730bb2c0ab84176b936bd83b7868b8b8 112366 prover9_0.0.200809a-1_i386.deb a7bd168dd4524ebb3bfc0f03acad78d5c2f9b5ae 332394 ladr4-apps_0.0.200809a-1_i386.deb Checksums-Sha256: 707b6365736ed07d28c62010845c05a1fe14207576208886cf194181ca9cf714 1147 ladr_0.0.200809a-1.dsc bd5ddd45c23075e52ff9884933069a22f34acd780600ccdba61dae5a857db64f 1754108 ladr_0.0.200809a.orig.tar.gz 062a9a00b0bad10cc0266ba0b838aca220394391a37d743647a0a52fe5793887 16945 ladr_0.0.200809a-1.diff.gz 8443f45a780d6840eccfa736d82870ffed9576f416a5822808a0228de22ea18b 343492 libladr-dev_0.0.200809a-1_i386.deb 7a10da71c8a1c65789292aecbf7548d635ef10b3badead4cfdf086ef0babf0d5 210824 libladr4_0.0.200809a-1_i386.deb dedd1b4b89c0b13c5082623be44bcf1d61295c725a92f518b637fa6f130abd77 112366 prover9_0.0.200809a-1_i386.deb 079b2e7f357da5e6487e5a0b892077c14c171a8b37dbbf9cfd0918f28508528d 332394 ladr4-apps_0.0.200809a-1_i386.deb Files: 2d20cdfbd246b45766a0a7550adf5c44 1147 math optional ladr_0.0.200809a-1.dsc 96cc67eae8f485c22d01449fd2639dae 1754108 math optional ladr_0.0.200809a.orig.tar.gz 28e0ea277a6e26765784ad83f746b8af 16945 math optional ladr_0.0.200809a-1.diff.gz 8128a480e0fccf861543593e2a3acd51 343492 libdevel optional libladr-dev_0.0.200809a-1_i386.deb 8d722e8134db09f8fd926907b65f4908 210824 libs optional libladr4_0.0.200809a-1_i386.deb c07297e639abed1148d88c553f8ed5cf 112366 math optional prover9_0.0.200809a-1_i386.deb 43302a2c551960d8021d05ebff62b4ff 332394 math optional ladr4-apps_0.0.200809a-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIzIKbXDqn6DSH7HERArfQAJ9zDLTtVMk6YO0iYxX2qB93DI3MOQCfew7H fjR2EUVWUOPrFtA8xckg6ic= =Zpx+ -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200809a-1_i386.deb to pool/main/l/ladr/ladr4-apps_0.0.200809a-1_i386.deb ladr_0.0.200809a-1.diff.gz to pool/main/l/ladr/ladr_0.0.200809a-1.diff.gz ladr_0.0.200809a-1.dsc to pool/main/l/ladr/ladr_0.0.200809a-1.dsc ladr_0.0.200809a.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200809a.orig.tar.gz libladr-dev_0.0.200809a-1_i386.deb to pool/main/l/ladr/libladr-dev_0.0.200809a-1_i386.deb libladr4_0.0.200809a-1_i386.deb to pool/main/l/ladr/libladr4_0.0.200809a-1_i386.deb prover9_0.0.200809a-1_i386.deb to pool/main/l/ladr/prover9_0.0.200809a-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted prover9-manual 0.0.200809a-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 13 Sep 2008 21:14:40 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200809a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: prover9-doc - documentation for Prover9 and associated programs Changes: prover9-manual (0.0.200809a-1) unstable; urgency=low . * New upstream release. * debian/control, debian/copyright: changed maintainer email address Checksums-Sha1: b420ccdc58afadec7a5f847a428009cca77c85e9 1210 prover9-manual_0.0.200809a-1.dsc b1b58675303240d39cfd2fc0064e5e9f9aa27188 874548 prover9-manual_0.0.200809a.orig.tar.gz b73ce09c969b44431999d84fe837b3e75be1c0fd 3949 prover9-manual_0.0.200809a-1.diff.gz a361c2d4042fdb6c618c1531cdc83b9694d1e1fc 795702 prover9-doc_0.0.200809a-1_all.deb Checksums-Sha256: 0e10063b1d01df8012b5217a4cc2876f244b9a75c4e695f5fdaf025539871535 1210 prover9-manual_0.0.200809a-1.dsc e34dfe98c6625e62b521b08ae247e0649ab5f674954763fcb413f1a0e8353706 874548 prover9-manual_0.0.200809a.orig.tar.gz a31c2aec895f474bcc404a4c159e99d30a59497dcb8e9c6f642eb26235cb29b4 3949 prover9-manual_0.0.200809a-1.diff.gz a91cfc0f7f61b228452c750f97ab40531d6141383c26e059e80ab669703fa837 795702 prover9-doc_0.0.200809a-1_all.deb Files: cab6e76a90eff6cd4488363e5173349a 1210 doc optional prover9-manual_0.0.200809a-1.dsc ed0dbb581b614cdfdcbb9a5ff8b5f472 874548 doc optional prover9-manual_0.0.200809a.orig.tar.gz ec6ae0ad4c30988abf6c276690f34262 3949 doc optional prover9-manual_0.0.200809a-1.diff.gz f099c1fddcd20b4878bcd3a8b5978fd1 795702 doc optional prover9-doc_0.0.200809a-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIzIKgXDqn6DSH7HERApSBAKDYTE3lAt4KlEKvfA/qN8aVOsUeDwCggce/ F/X8xq3ZzImwvqxPr5hkPOk= =fEf2 -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200809a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200809a-1_all.deb prover9-manual_0.0.200809a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200809a-1.diff.gz prover9-manual_0.0.200809a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200809a-1.dsc prover9-manual_0.0.200809a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200809a.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted prover9-manual 0.0.200806a-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2008 04:57:20 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200806a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: prover9-doc - documentation for Prover9 and associated programs Changes: prover9-manual (0.0.200806a-1) unstable; urgency=low . * New upstream release. * debian/control: new Standards-Version Checksums-Sha1: 3a8511beaf237eba9cf1166ab438be01c0e806c7 1211 prover9-manual_0.0.200806a-1.dsc d681ac467469fe63eca2856be73bd7fb1418f0ef 879029 prover9-manual_0.0.200806a.orig.tar.gz ae033b0b1dad1dd6cca876153d679494cfa9842a 3903 prover9-manual_0.0.200806a-1.diff.gz 2d1b354dc4472b91a592b0200493f8b4286c1854 795508 prover9-doc_0.0.200806a-1_all.deb Checksums-Sha256: fa3e2488e9f6e6926cb80a565972b87df775e6d1310477b244a2d551420dc1c5 1211 prover9-manual_0.0.200806a-1.dsc 348b6bdbc6fb723c3f07e281002fde31a87affed62d678bd9cba04fd15ace093 879029 prover9-manual_0.0.200806a.orig.tar.gz 0e499c9ed918711b032279c21c790233cb8f95f9b7581a27ab336a43603ba53f 3903 prover9-manual_0.0.200806a-1.diff.gz 02776634bbd8afb82a85734ae2a83f41250601c94b72b92cb4940838c967cdad 795508 prover9-doc_0.0.200806a-1_all.deb Files: 85084899c8919e252606895978817087 1211 doc optional prover9-manual_0.0.200806a-1.dsc 3e105036faadc5ed90130021c81ce437 879029 doc optional prover9-manual_0.0.200806a.orig.tar.gz 1a4f07396735bba43739ce917b5bd2a7 3903 doc optional prover9-manual_0.0.200806a-1.diff.gz 922dcb51a35df354381c25af026b3cd0 795508 doc optional prover9-doc_0.0.200806a-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIaAbLXDqn6DSH7HERAgX1AKDJFhoLCXRgM0vd/tVSf47PYWYV9wCfc4y9 rs3XHl8u4O+2Y2DJxpOnkq0= =mH1q -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200806a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200806a-1_all.deb prover9-manual_0.0.200806a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200806a-1.diff.gz prover9-manual_0.0.200806a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200806a-1.dsc prover9-manual_0.0.200806a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200806a.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted ladr 0.0.200806a-1 (source i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2008 03:23:16 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200806a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Changes: ladr (0.0.200806a-1) unstable; urgency=low . * New upstream release. * debian/patches/01-libtoolise.dpatch: new source file weight2.c * debian/libladr4.symbols: updated * debian/control: new Standards-Version, updated for new prover9-doc * debian/prooftrans.1: documented new tagged format Checksums-Sha1: dec09bc883bddc8d00b55d136ad8a9a433fd5932 1148 ladr_0.0.200806a-1.dsc 816461550645c9e38db833fc08418fd06628eb83 1677889 ladr_0.0.200806a.orig.tar.gz 056c14cda0d009f1cdc787c23d04dee29b3a4a66 20710 ladr_0.0.200806a-1.diff.gz c5a1690e7a2901ba5ab65f9c5da81aa1ef663388 342242 libladr-dev_0.0.200806a-1_i386.deb e752e27bb504da02743eb0825b7b786fa6c94c08 209764 libladr4_0.0.200806a-1_i386.deb fccc71fa7a7f0638d3b3ec4adb51b6e294926476 110968 prover9_0.0.200806a-1_i386.deb 8ce26553891f86201d643a279e1a614112a92794 330590 ladr4-apps_0.0.200806a-1_i386.deb Checksums-Sha256: 621b8b09d4c3bf39711149ac747c9170b6580b85ffb08ead112851bcd3bf27fa 1148 ladr_0.0.200806a-1.dsc ecec73862c1cf50dbde969d41dabf427535517db80dff8f99e0383f05355c0a7 1677889 ladr_0.0.200806a.orig.tar.gz ed9768220de7a9067b5660d898b68af35e94d31bc0861b5a73332828e17ba1bf 20710 ladr_0.0.200806a-1.diff.gz e0e0bf8e3072b2d97f03f1aa2b8c08039e1f5871caa6edc4878e4910e877d301 342242 libladr-dev_0.0.200806a-1_i386.deb c57461b978e8b3c1e515015c9767130e351fc582c614f4f7149ad2b9b073eb95 209764 libladr4_0.0.200806a-1_i386.deb 853a168c374db9fab465a65ee7d2e108b0e760b36e27f342b99972e0b93de25b 110968 prover9_0.0.200806a-1_i386.deb bf2b955fcf84f0b659408174550bcf24d8e637c26e33dbce068d6e4dc8d6e2ac 330590 ladr4-apps_0.0.200806a-1_i386.deb Files: df4b3b15d87040f051002340413f5ef2 1148 math optional ladr_0.0.200806a-1.dsc 1716243e9b89a6e19a152db25eca01a7 1677889 math optional ladr_0.0.200806a.orig.tar.gz b05e9183041730be13e9968829232ac9 20710 math optional ladr_0.0.200806a-1.diff.gz 4abb868cc4bdd4e4297f0ad4ff6f4c1e 342242 libdevel optional libladr-dev_0.0.200806a-1_i386.deb cfa94202ff43bbe4f7cdcacb230bf2a4 209764 libs optional libladr4_0.0.200806a-1_i386.deb 0720644a1c3756ab89c7b49b230b1b7b 110968 math optional prover9_0.0.200806a-1_i386.deb 0b13444022f9d925b1844c97ed68c480 330590 math optional ladr4-apps_0.0.200806a-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIaAbHXDqn6DSH7HERAsdnAJ0cgzIdcQeWh3V++LC/FLQQmBdZAgCgun2p 53uHTBDoEehiSkYIJpT0AG4= =qzTU -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200806a-1_i386.deb to pool/main/l/ladr/ladr4-apps_0.0.200806a-1_i386.deb ladr_0.0.200806a-1.diff.gz to pool/main/l/ladr/ladr_0.0.200806a-1.diff.gz ladr_0.0.200806a-1.dsc to pool/main/l/ladr/ladr_0.0.200806a-1.dsc ladr_0.0.200806a.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200806a.orig.tar.gz libladr-dev_0.0.200806a-1_i386.deb to pool/main/l/ladr/libladr-dev_0.0.200806a-1_i386.deb libladr4_0.0.200806a-1_i386.deb to pool/main/l/ladr/libladr4_0.0.200806a-1_i386.deb prover9_0.0.200806a-1_i386.deb to pool/main/l/ladr/prover9_0.0.200806a-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 2.8.2-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 12 Jun 2008 14:04:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.2-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.8.2-1) unstable; urgency=low . [ Peter Collingbourne ] * New upstream release * debian/patches/01-shebang.patch: removed, applied upstream * debian/rules: simple-patchsys removed, no longer required * debian/control - updated Standards-Version - removed references to tetex - removed unnecessary ~ in python version number . [ Piotr Ożarowski ] * Added DM-Upload-Allowed: yes Checksums-Sha1: 32e73bcec440ffb57bacb4e8b00fe6f7594f55fc 1349 dot2tex_2.8.2-1.dsc 26dc8edea3b3c0b33af54350deb33d6f0a9f14e5 364147 dot2tex_2.8.2.orig.tar.gz 725b97ec293c5e0f2052a7558842fc37dd6d9081 4923 dot2tex_2.8.2-1.diff.gz 84ff4fb3cc8351c9bd825559e95808c5bccd1ffe 351412 dot2tex_2.8.2-1_all.deb Checksums-Sha256: 075dc8f83990acc2d13e8e92ae0e96d0ea8807e97553f85e807305de8b03af37 1349 dot2tex_2.8.2-1.dsc e3c2be9022309ee7294729433ad287c0c7b7e0371f7330dd01bf5a9dc51bca01 364147 dot2tex_2.8.2.orig.tar.gz 98f2c6a7b0712de72e3a2b36c8a1efb82dc64883758b37c4b9850f77a9afac1e 4923 dot2tex_2.8.2-1.diff.gz a744d23e7007e2123fb01959385dd04c08d90f9037ee41c908ede2fea72d5767 351412 dot2tex_2.8.2-1_all.deb Files: 22f18610ac428b53d139948b23b780e8 1349 graphics optional dot2tex_2.8.2-1.dsc b249c4ec2752d360474a7e6f3c57cf7a 364147 graphics optional dot2tex_2.8.2.orig.tar.gz 23d3869083619739dd1adc2518cd157a 4923 graphics optional dot2tex_2.8.2-1.diff.gz 80670f0ef8573fc9183b55906dd61127 351412 graphics optional dot2tex_2.8.2-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkhRl9QACgkQB01zfu119ZlD5ACfal/i5EpQlBdwlgQvNZsys6wW PR4AoLGdx2WYy0adQptZp5W48uMLy6dO =cPvy -END PGP SIGNATURE- Accepted: dot2tex_2.8.2-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.8.2-1.diff.gz dot2tex_2.8.2-1.dsc to pool/main/d/dot2tex/dot2tex_2.8.2-1.dsc dot2tex_2.8.2-1_all.deb to pool/main/d/dot2tex/dot2tex_2.8.2-1_all.deb dot2tex_2.8.2.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.8.2.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted prover9-manual 0.0.200805a-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 12 May 2008 19:34:36 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200805a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: prover9-doc - documentation for Prover9 and associated programs Changes: prover9-manual (0.0.200805a-1) unstable; urgency=low . * New upstream release. * debian/control: added DM-Upload-Allowed: yes Checksums-Sha1: ba5583feddcaf69cd091c0c027e55aa8572da5d3 1211 prover9-manual_0.0.200805a-1.dsc 325aea49ee9b12e5e6deb4bcf1403b397decac3b 866237 prover9-manual_0.0.200805a.orig.tar.gz ee09d732ce07750559fcd746d2b0deae9b5546fc 3866 prover9-manual_0.0.200805a-1.diff.gz 7f150237e1d77f9a64673e837c7eeba969c225e5 796366 prover9-doc_0.0.200805a-1_all.deb Checksums-Sha256: 556101d8c1ff9cb557ad1ec88e90c95fd015f7617c6314ce44402bc64b82a5e6 1211 prover9-manual_0.0.200805a-1.dsc 0028d9ea84f61b2ecda3389b082bdd78c351c0bdf81e6fbe642038c8bf88b613 866237 prover9-manual_0.0.200805a.orig.tar.gz 552f17793cc655414e71a57f353326ff545cf7c43386185757a68cb8c139050a 3866 prover9-manual_0.0.200805a-1.diff.gz ae21c20eb50db7fae3cbaeb2a5914a49d59093c2acadb3a867d6dbbafbc78abe 796366 prover9-doc_0.0.200805a-1_all.deb Files: bead8c6672e3531876b23288d769988f 1211 doc optional prover9-manual_0.0.200805a-1.dsc a544ecd335070e5ef24c84f7eef936f7 866237 doc optional prover9-manual_0.0.200805a.orig.tar.gz a25a7033bb24f82ebf773d0b3a7a37cf 3866 doc optional prover9-manual_0.0.200805a-1.diff.gz c557958b716e6fcb362e01a29c4f46da 796366 doc optional prover9-doc_0.0.200805a-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIPb/ZBnqtBMk7/3kRAszjAJ9SIWEC8fwcqsFezwYZd0J7PXAfZwCeLGkh Q5UtWiNn9Q3k2cc0lIshBuk= =0aHl -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200805a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200805a-1_all.deb prover9-manual_0.0.200805a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200805a-1.diff.gz prover9-manual_0.0.200805a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200805a-1.dsc prover9-manual_0.0.200805a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200805a.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted ladr 0.0.200805a-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 12 May 2008 18:07:55 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200805a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Changes: ladr (0.0.200805a-1) unstable; urgency=low . * New upstream release. * debian/libladr4.symbols: added new symbols * debian/control - updated for new prover9-doc - added DM-Upload-Allowed: yes * debian/copyright: give correct license information Checksums-Sha1: 3cfbfe177eeb8e7eb16f67c525726b2c13eb4a54 1148 ladr_0.0.200805a-1.dsc 193c94f5bf7bb238c53e1cf8cc8d20a9ba44006d 1659880 ladr_0.0.200805a.orig.tar.gz 4ee1d9cc4a175f9dd890f91445a0b96cc1ad358d 20571 ladr_0.0.200805a-1.diff.gz 7cc5a76c5d90930a144ada33ca2bf1918dad2261 376296 libladr-dev_0.0.200805a-1_amd64.deb 80a440339359206ab7202e4772185422018fea55 219602 libladr4_0.0.200805a-1_amd64.deb 616afe15a9a507e764d9f8e18c842260e36205c9 117242 prover9_0.0.200805a-1_amd64.deb ad518d46efa0cf5990eba9724414d92011a8c795 354830 ladr4-apps_0.0.200805a-1_amd64.deb Checksums-Sha256: b99d12ae49f0091807c1cf4ff7bd0462e0855d5a0cc46dc2519808ba635d8e95 1148 ladr_0.0.200805a-1.dsc fecc6e308e7eac8102bb2056455c380f58773140572e171aa59288cb5f266aba 1659880 ladr_0.0.200805a.orig.tar.gz b1cf2196a8efead80774da9fa67fd2fe5ddac9b17b217174154273dd282c33ce 20571 ladr_0.0.200805a-1.diff.gz 9818e1d434dec0d4d39d9640659157611146ccc4f953b3a5c663e701945014a9 376296 libladr-dev_0.0.200805a-1_amd64.deb 3cab271291a1d2eef20e049195db93d46c0b2985767533a4f2ec98145e508226 219602 libladr4_0.0.200805a-1_amd64.deb d411e8dbf5f5b208e7e15ca94c6840e2d44ab0fc74c2b5604970e11c784d3041 117242 prover9_0.0.200805a-1_amd64.deb 3e5d48f421eb1bedd04cb25f16503735c42b1b92c951c2d6416c982a2bdc0eeb 354830 ladr4-apps_0.0.200805a-1_amd64.deb Files: da12457f7aca29f4628adff46bce8d01 1148 math optional ladr_0.0.200805a-1.dsc 73cba4f17bee85f85c579a7dd8c7f099 1659880 math optional ladr_0.0.200805a.orig.tar.gz 927ae347695eb81a9d8f2d96b4cce101 20571 math optional ladr_0.0.200805a-1.diff.gz a4d9b0e550012a4898addba92a69a74e 376296 libdevel optional libladr-dev_0.0.200805a-1_amd64.deb 6f3f772b07d7d1565d6991ed6d3b0218 219602 libs optional libladr4_0.0.200805a-1_amd64.deb 5f4cab1a63f3147741c2a9ed3d5c141f 117242 math optional prover9_0.0.200805a-1_amd64.deb 742e2c099f7c6254302d173b725b4c3a 354830 math optional ladr4-apps_0.0.200805a-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIPbszBnqtBMk7/3kRAlD0AJ4x8WJWri0UA3bqvBjAnORh4H4dvgCdEG8F baJi6dXzPko/gerQi8qgeLg= =dUm0 -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200805a-1_amd64.deb to pool/main/l/ladr/ladr4-apps_0.0.200805a-1_amd64.deb ladr_0.0.200805a-1.diff.gz to pool/main/l/ladr/ladr_0.0.200805a-1.diff.gz ladr_0.0.200805a-1.dsc to pool/main/l/ladr/ladr_0.0.200805a-1.dsc ladr_0.0.200805a.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200805a.orig.tar.gz libladr-dev_0.0.200805a-1_amd64.deb to pool/main/l/ladr/libladr-dev_0.0.200805a-1_amd64.deb libladr4_0.0.200805a-1_amd64.deb to pool/main/l/ladr/libladr4_0.0.200805a-1_amd64.deb prover9_0.0.200805a-1_amd64.deb to pool/main/l/ladr/prover9_0.0.200805a-1_amd64.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted ladr 0.0.200804a-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 08 Apr 2008 23:44:14 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200804a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Changes: ladr (0.0.200804a-1) unstable; urgency=low . * New upstream release. * debian/patches/01-libtoolise.dpatch: updated for new Makefiles * debian/patches/02-shebangs.dpatch: deleted, applied upstream * debian/ladr4-apps.install, debian/ladr4-apps.links, debian/ladr4-apps.docs: added new application directproof * debian/watch: added support for new version numbering scheme * debian/interpformat.1, debian/prover9.1: replaced hyphens with minus signs * debian/libladr4.symbols: updated * debian/control: updated for new prover9-doc * debian/copyright: give correct license information Files: 81f508e876dec1fd56e0ed745d51f766 733 math optional ladr_0.0.200804a-1.dsc fa68350bb331fcb85bba86a846ea4a9d 1879408 math optional ladr_0.0.200804a.orig.tar.gz edc26c29b31338db90b22842fcbbec5c 20810 math optional ladr_0.0.200804a-1.diff.gz 790a4df044bf5edc8f983fa9d343cc23 375614 libdevel optional libladr-dev_0.0.200804a-1_amd64.deb a9a80fe57966c4c0725a706d5ebe2dc0 218920 libs optional libladr4_0.0.200804a-1_amd64.deb ac94dd92f9844f193e307cf7d2ef9307 116814 math optional prover9_0.0.200804a-1_amd64.deb fb931cee1bf1c28b9cc7c912cbe71c86 353826 math optional ladr4-apps_0.0.200804a-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH/SMHBnqtBMk7/3kRAp4eAJ4iS4cIhKwfZ1hDwHYJItD83uQn/QCfdWov WP/0K3+TT9slp6zwXffxuCc= =K4IL -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200804a-1_amd64.deb to pool/main/l/ladr/ladr4-apps_0.0.200804a-1_amd64.deb ladr_0.0.200804a-1.diff.gz to pool/main/l/ladr/ladr_0.0.200804a-1.diff.gz ladr_0.0.200804a-1.dsc to pool/main/l/ladr/ladr_0.0.200804a-1.dsc ladr_0.0.200804a.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200804a.orig.tar.gz libladr-dev_0.0.200804a-1_amd64.deb to pool/main/l/ladr/libladr-dev_0.0.200804a-1_amd64.deb libladr4_0.0.200804a-1_amd64.deb to pool/main/l/ladr/libladr4_0.0.200804a-1_amd64.deb prover9_0.0.200804a-1_amd64.deb to pool/main/l/ladr/prover9_0.0.200804a-1_amd64.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted prover9-manual 0.0.200804a-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 8 Apr 2008 19:40:46 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200804a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: prover9-doc - documentation for Prover9 and associated programs Changes: prover9-manual (0.0.200804a-1) unstable; urgency=low . * New upstream release. * debian/watch: added support for new version numbering scheme Files: e6db3157da26c495657299fb8ce4ad8d 760 doc optional prover9-manual_0.0.200804a-1.dsc f17987578aa6eda72a2d80eba2dee406 870773 doc optional prover9-manual_0.0.200804a.orig.tar.gz 1a067e7ca100adc74b030e0eb79787e9 3821 doc optional prover9-manual_0.0.200804a-1.diff.gz 9904db7c3c6d3257c69b2466d25daf6d 798264 doc optional prover9-doc_0.0.200804a-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH/SMTBnqtBMk7/3kRAtOkAJ9rmUovyb+m43T8MU5/8tyoY7QGOACfXrS8 f+oROL89ExI1VWrqOwCqvpU= =DMhs -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200804a-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200804a-1_all.deb prover9-manual_0.0.200804a-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200804a-1.diff.gz prover9-manual_0.0.200804a-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200804a-1.dsc prover9-manual_0.0.200804a.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200804a.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted prover9-manual 0.0.200712-2 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 20 Mar 2008 20:37:05 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200712-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: prover9-doc - documentation for Prover9 and associated programs Closes: 471753 Changes: prover9-manual (0.0.200712-2) unstable; urgency=low . * debian/rules: removed bashism (closes: #471753) * debian/doc-base: changed Section to a valid value Files: 60e2a6ee5422a60d77f4c79511bf8b3d 757 doc optional prover9-manual_0.0.200712-2.dsc e7bad060b3062c0a39c39fe683392954 3705 doc optional prover9-manual_0.0.200712-2.diff.gz 6f0f04950262458b9d9c2623b37e81a3 795128 doc optional prover9-doc_0.0.200712-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH4tYtBnqtBMk7/3kRAuPZAJoDdceYNFXzJhavCTRq0D3Dv9DtHACeOMDx +D+al2j91QuTTXuf2GiR1qY= =c1rI -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200712-2_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200712-2_all.deb prover9-manual_0.0.200712-2.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.diff.gz prover9-manual_0.0.200712-2.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.dsc -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted tcpser 1.0rc12-1 (source i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 4 Feb 2008 12:51:33 + Source: tcpser Binary: tcpser Architecture: source i386 Version: 1.0rc12-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: tcpser - emulate a Hayes compatible modem Changes: tcpser (1.0rc12-1) unstable; urgency=low . * New upstream release * debian/tcpser.1: fixed typos, added -v option, added square brackets where necessary * src/init.c: reverted Fixed typo in usage summary * debian/patches/01-usage-typo.dpatch: moved patch to dpatch * Makefile: reverted Added install rule to makefile * debian/rules, debian/install: moved install rule here * debian/control: updated Standards-Version, added dpatch to Build-Depends, added Vcs-Bzr field, added Homepage field * debian/watch: added * debian/copyright: updated year to 2008 Files: 375dc8f2cc5caa16de07fd016cc9157e 976 net optional tcpser_1.0rc12-1.dsc ab127ae472a3d346dc8a7f53ad2b1a8f 76483 net optional tcpser_1.0rc12.orig.tar.gz 357e56eef7a5556588b75ed9b9976219 2849 net optional tcpser_1.0rc12-1.diff.gz f5298b1a83d91621156ace1d5e216ef6 28480 net optional tcpser_1.0rc12-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iQEVAwUBR9VIQGz0hbPcukPfAQJ2Awf/RNr+K7rpZhR5qyzqdwRRdLxvqEyyuntn CMP/oxRq+dgAtAH5N37yT2EM2HC/ZP5lLMaoa8Sl8xqRMUfRoKMK4yzOcSwKElox 6oeoWhjW69q2juP5ytQ01RJ+/ZPwpSeMe5WSnMn0jw+HU1nYI2oVT19YXMbI//An tPyOPFEhyRoADEOq31i1JFIfoUv84uTOuQUByw5EhM4WaUEO+lQO/CAOrq2zv6c6 VcE6Qe1p4Bu7f0+Vj2ABCfkHak5crfnQNzDpd5QLLjBP+UPmW09Vo+AouODg57Iw fpChIU/KYdHeMAjYHGc8kpr6Czha+ZkqLUk+f9fModY1jg2521fhaQ== =ODLE -END PGP SIGNATURE- Accepted: tcpser_1.0rc12-1.diff.gz to pool/main/t/tcpser/tcpser_1.0rc12-1.diff.gz tcpser_1.0rc12-1.dsc to pool/main/t/tcpser/tcpser_1.0rc12-1.dsc tcpser_1.0rc12-1_i386.deb to pool/main/t/tcpser/tcpser_1.0rc12-1_i386.deb tcpser_1.0rc12.orig.tar.gz to pool/main/t/tcpser/tcpser_1.0rc12.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted p9m4 0.5.dfsg-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 15 Jan 2008 01:35:54 + Source: p9m4 Binary: prover9-mace4 Architecture: source all Version: 0.5.dfsg-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: prover9-mace4 - GUI for Prover9 and Mace4 Closes: 460813 Changes: p9m4 (0.5.dfsg-1) unstable; urgency=low . * Initial release (closes: #460813) * my_setup.py, partition_input.py: removed Python-2.5isms from code * debian/setup.py: wrote distutils script * files.py, prover9-mace4.py: point to correct file locations Files: e262887e46f96c66fb9c50d4e13fb915 922 math optional p9m4_0.5.dfsg-1.dsc 04afdf4e290e8a9100ac69893a561e53 88683 math optional p9m4_0.5.dfsg.orig.tar.gz a1353ce9a2dc80f5431167118b16faa1 3297 math optional p9m4_0.5.dfsg-1.diff.gz 59e0ded3bc82e67bb26d3d5a5bbc2201 67370 math optional prover9-mace4_0.5.dfsg-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHyHOtBnqtBMk7/3kRAtUhAJ4zgz58QmgQWiGhAFLn6wSF07KoUgCgjCWO +CMK3kx+/0w1OkdwVnZ1DzM= =RJEt -END PGP SIGNATURE- Accepted: p9m4_0.5.dfsg-1.diff.gz to pool/main/p/p9m4/p9m4_0.5.dfsg-1.diff.gz p9m4_0.5.dfsg-1.dsc to pool/main/p/p9m4/p9m4_0.5.dfsg-1.dsc p9m4_0.5.dfsg.orig.tar.gz to pool/main/p/p9m4/p9m4_0.5.dfsg.orig.tar.gz prover9-mace4_0.5.dfsg-1_all.deb to pool/main/p/p9m4/prover9-mace4_0.5.dfsg-1_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted prover9-manual 0.0.200712-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 14 Jan 2008 20:24:28 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200712-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: prover9-doc - documentation for Prover9 and associated programs Closes: 437944 Changes: prover9-manual (0.0.200712-1) unstable; urgency=low . * Initial release (Closes: #437944) * syntax.html: replaced literal and symbols with entities in order to prevent htmldoc from failing Files: d274f392d2b00df8850420115f2ae2ad 757 doc optional prover9-manual_0.0.200712-1.dsc 452b413eca1e6219d8af142c94a2 871950 doc optional prover9-manual_0.0.200712.orig.tar.gz a6b1f92c48e7d5948a849c40311fa732 3611 doc optional prover9-manual_0.0.200712-1.diff.gz 31ae6471f25287f022296bc616688ad2 804754 doc optional prover9-doc_0.0.200712-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHp402BnqtBMk7/3kRAsyvAJ9fBSBizxFAU/zm2CIppJ1t8FXRYQCggH8V EZzodvCKl9Ku2b8EfIeUjg0= =WLIC -END PGP SIGNATURE- Accepted: prover9-doc_0.0.200712-1_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200712-1_all.deb prover9-manual_0.0.200712-1.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200712-1.diff.gz prover9-manual_0.0.200712-1.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200712-1.dsc prover9-manual_0.0.200712.orig.tar.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200712.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted ladr 0.0.200712-2 (source i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 10 Feb 2008 20:34:47 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200712-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Changes: ladr (0.0.200712-2) unstable; urgency=low . * debian/ladr4-apps.links: symlink usr/share/man/man1/prover9-mace4.1.gz removed, as it does not refer to an installed application and conflicts with the prover9-mace4 package Files: 53ad1cac099eb12587adf45b50bdc356 730 math optional ladr_0.0.200712-2.dsc 57ca318f1bf0faaf1907176a71f2e1be 20569 math optional ladr_0.0.200712-2.diff.gz 2d612380c49d8a82009e2743b2a0c206 325556 libdevel optional libladr-dev_0.0.200712-2_i386.deb dd97eefd28225558a3139ef7287f88cd 196642 libs optional libladr4_0.0.200712-2_i386.deb e19d9d029fe87a239f9fda2bc2405a23 104498 math optional prover9_0.0.200712-2_i386.deb ae5433198c5f2567ac8007b34beb9a63 303120 math optional ladr4-apps_0.0.200712-2_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHr2xTBnqtBMk7/3kRAniLAJ9U18HTeziAvajePArApWX7gMTxlgCeJ1km uuTMxODHpLQjlNiLVdwNq4k= =Kaz9 -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200712-2_i386.deb to pool/main/l/ladr/ladr4-apps_0.0.200712-2_i386.deb ladr_0.0.200712-2.diff.gz to pool/main/l/ladr/ladr_0.0.200712-2.diff.gz ladr_0.0.200712-2.dsc to pool/main/l/ladr/ladr_0.0.200712-2.dsc libladr-dev_0.0.200712-2_i386.deb to pool/main/l/ladr/libladr-dev_0.0.200712-2_i386.deb libladr4_0.0.200712-2_i386.deb to pool/main/l/ladr/libladr4_0.0.200712-2_i386.deb prover9_0.0.200712-2_i386.deb to pool/main/l/ladr/prover9_0.0.200712-2_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted ladr 0.0.200712-1 (source i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 22 Jan 2008 17:39:05 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200712-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9- theorem prover and countermodel generator Closes: 437936 Changes: ladr (0.0.200712-1) unstable; urgency=low . * Initial release (Closes: #437936) * Fixed and libtoolized Makefiles * Wrote man pages * utilities/get_givens, utilities/get_interps, utilities/get_kept: now use Bourne shell to avoid unneccessary dependencies Files: 5a698c766b64072234503edba439e5cf 730 math optional ladr_0.0.200712-1.dsc 6e2896ed4cce4556bfcc321778df5dfe 1787225 math optional ladr_0.0.200712.orig.tar.gz d1534198bae410f26aa02e2a848231df 20485 math optional ladr_0.0.200712-1.diff.gz cc4434b9e2fff47f7a6d231297413cfa 325370 libdevel optional libladr-dev_0.0.200712-1_i386.deb 7457577278dd42e51be68b153614f936 196470 libs optional libladr4_0.0.200712-1_i386.deb 351bd1195fb7684cda2748da62a97062 104344 math optional prover9_0.0.200712-1_i386.deb d38a5202290ddf83a779dee0b1c4cb1f 302986 math optional ladr4-apps_0.0.200712-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHp1c9BnqtBMk7/3kRAmkJAKCo8e7Dy+Bf22UoukmAx6938XhCsACfW9rT mn7K4l972xOtgTi+EQW50/Q= =e+tk -END PGP SIGNATURE- Accepted: ladr4-apps_0.0.200712-1_i386.deb to pool/main/l/ladr/ladr4-apps_0.0.200712-1_i386.deb ladr_0.0.200712-1.diff.gz to pool/main/l/ladr/ladr_0.0.200712-1.diff.gz ladr_0.0.200712-1.dsc to pool/main/l/ladr/ladr_0.0.200712-1.dsc ladr_0.0.200712.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200712.orig.tar.gz libladr-dev_0.0.200712-1_i386.deb to pool/main/l/ladr/libladr-dev_0.0.200712-1_i386.deb libladr4_0.0.200712-1_i386.deb to pool/main/l/ladr/libladr4_0.0.200712-1_i386.deb prover9_0.0.200712-1_i386.deb to pool/main/l/ladr/prover9_0.0.200712-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 2.7.0-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 16 Jan 2008 01:31:30 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.7.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.7.0-1) unstable; urgency=low . * New upstream release * dot2tex/dot2tex.py: backed out all changes apart from shebang as taken upstream * debian/dot2tex.1: documented new command line option --codeonly * debian/rules: moved patching system to CDBS simple-patchsys * debian/control: updated Standards-Version * debian/control: added Uploaders, Vcs-Svn, Vcs-Browser fields for PAPT * debian/copyright: changed year to 2008 Files: 889b067bd1444a913955703aa5fcff69 920 graphics optional dot2tex_2.7.0-1.dsc cb407c0bd1ef9440e5e7383fa408bd73 581387 graphics optional dot2tex_2.7.0.orig.tar.gz 4e55f95a161948208577825ddeee732e 4744 graphics optional dot2tex_2.7.0-1.diff.gz b485235cd2c2768f962a9feee51ac2c7 358010 graphics optional dot2tex_2.7.0-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHj5zEB01zfu119ZkRAlFdAKCbUF24iicUbQ1Mp3WMExnWIw3tUACfWkSV joYH1s6dD+3XpYksK/MAKMQ= =0YAA -END PGP SIGNATURE- Accepted: dot2tex_2.7.0-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.7.0-1.diff.gz dot2tex_2.7.0-1.dsc to pool/main/d/dot2tex/dot2tex_2.7.0-1.dsc dot2tex_2.7.0-1_all.deb to pool/main/d/dot2tex/dot2tex_2.7.0-1_all.deb dot2tex_2.7.0.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.7.0.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#460813: ITP: p9m4 -- GUI for Prover9 and Mace4
Package: wnpp Severity: wishlist Owner: Peter Collingbourne [EMAIL PROTECTED] * Package name: p9m4 Version : 0.5 Upstream Author : William McCune [EMAIL PROTECTED] * URL : http://www.cs.unm.edu/~mccune/mace4/ * License : GPL Programming Lang: Python Description : GUI for Prover9 and Mace4 This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files. -- System Information: Debian Release: 4.0 APT prefers stable APT policy: (500, 'stable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.18-5-686-bigmem Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 2.6.1-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 13 Nov 2007 16:04:10 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.6.1-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.6.1-1) unstable; urgency=low . * New upstream release * dot2tex/dot2tex: removed shebang (added upstream) Files: 6adb3ac1a1e0da9d5f140020420cc6db 688 graphics optional dot2tex_2.6.1-1.dsc 9e9463f26413f7d166b9d9314647e92e 341116 graphics optional dot2tex_2.6.1.orig.tar.gz ffa4b3335fc5311cac6bd1ec90a89e09 4737 graphics optional dot2tex_2.6.1-1.diff.gz 6322f157e6a129bcd587ccad2974922c 334438 graphics optional dot2tex_2.6.1-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHOrTz1gXdnL6dUzkRAtuuAKCqtOHYMt1Gxc9bjMUnMQnawGdusQCfQGdW DjVoRszNvTjRGSm+COgGZ9o= =JhqR -END PGP SIGNATURE- Accepted: dot2tex_2.6.1-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.6.1-1.diff.gz dot2tex_2.6.1-1.dsc to pool/main/d/dot2tex/dot2tex_2.6.1-1.dsc dot2tex_2.6.1-1_all.deb to pool/main/d/dot2tex/dot2tex_2.6.1-1_all.deb dot2tex_2.6.1.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.6.1.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted pydot 0.9.10-2 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 12 Nov 2007 19:29:39 + Source: pydot Binary: python-pydot Architecture: source all Version: 0.9.10-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: python-pydot - Python interface to Graphviz's dot Closes: 450120 Changes: pydot (0.9.10-2) unstable; urgency=low . * debian/copyright: Rewrapped to 80 characters per line * debian/watch: Updated with new download location (closes: #450120) * debian/control: - added Debian Python Modules Team to Uploaders - added Homepage, Vcs-Browser, Vcs-Svn fields - removed Provides field - changed python-all-dev to python in Build-Depends - moved packages from Build-Depends to Build-Depends-Indep Files: 5a571d43c64f046ac898318f5bf34ba4 939 graphics optional pydot_0.9.10-2.dsc 5d554c62dd5b8bba01934171aa195b66 1786 graphics optional pydot_0.9.10-2.diff.gz 24d76f8cdd1e756aa385deeb77951411 16710 graphics optional python-pydot_0.9.10-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHOLBCB01zfu119ZkRAtByAKCOQJbW8TVU+hrbZOaDgpVvKzyPWQCgntSM r6swOGUFPjvYo7LX3Y+LTvU= =oaXs -END PGP SIGNATURE- Accepted: pydot_0.9.10-2.diff.gz to pool/main/p/pydot/pydot_0.9.10-2.diff.gz pydot_0.9.10-2.dsc to pool/main/p/pydot/pydot_0.9.10-2.dsc python-pydot_0.9.10-2_all.deb to pool/main/p/pydot/python-pydot_0.9.10-2_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 2.6.0-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 05 Oct 2007 16:41:28 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.6.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.6.0-1) unstable; urgency=low . * New upstream release * debian/copyright: changed years to 2007 * debian/dot2tex.1: documented new command line options * debian/README.Debian: removed as upstream now calls the script dot2tex * debian/rules: no longer rename script as upstream now calls it dot2tex * dot2tex/dot2tex: added shebang * dot2tex/dot2tex.py: removed shebang Files: 47edd65106462cbe3962c9c6d951da8e 688 graphics optional dot2tex_2.6.0-1.dsc 9a2c80484f5d24999e5644296481b355 341185 graphics optional dot2tex_2.6.0.orig.tar.gz c3e595ea29128014bf6442c6f0f32116 4754 graphics optional dot2tex_2.6.0-1.diff.gz 4d4b184996a917583b85bf752cb5ccbb 334368 graphics optional dot2tex_2.6.0-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHBrKU1gXdnL6dUzkRAi4mAKCqJLqcjta96xkp9KSCeI1nY0fONACgqhqO EHL5MHs9/h8NEafyeX60u8M= =zCbv -END PGP SIGNATURE- Accepted: dot2tex_2.6.0-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.6.0-1.diff.gz dot2tex_2.6.0-1.dsc to pool/main/d/dot2tex/dot2tex_2.6.0-1.dsc dot2tex_2.6.0-1_all.deb to pool/main/d/dot2tex/dot2tex_2.6.0-1_all.deb dot2tex_2.6.0.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.6.0.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#437936: ITP: ladr -- deduction library, theorem prover and countermodel generator
Package: wnpp Severity: wishlist Owner: Peter Collingbourne [EMAIL PROTECTED] * Package name: ladr Version : 0.0.200708 Upstream Author : William McCune [EMAIL PROTECTED] * URL : http://www.cs.unm.edu/~mccune/mace4/ * License : GPL Programming Lang: C Description : deduction library, theorem prover and countermodel generator The source package ladr includes the LADR deduction library, along with the prover9 theorem prover, the mace4 countermodel generator and a number of related applications. LADR is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.6.15-1-686 Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#437944: ITP: prover9-doc -- documentation for Prover9 and associated programs
Package: wnpp Severity: wishlist Owner: Peter Collingbourne [EMAIL PROTECTED] * Package name: prover9-doc Version : 0.0.200708 Upstream Author : William McCune [EMAIL PROTECTED] * URL : http://www.cs.unm.edu/~mccune/mace4/ * License : GPL Programming Lang: n/a Description : documentation for Prover9 and associated programs This is the documentation package for prover9 etc., which has its own ITP located at bug #437936. It is being packaged separately because upstream distributes the documentation separately from the applications. Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . This package provides documentation for Prover9, Mace4 and other associated programs. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.6.15-1-686 Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 2.5.0-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 17 Jul 2007 15:20:20 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.5.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Closes: 427034 Changes: dot2tex (2.5.0-1) unstable; urgency=low . * New upstream release (closes: #427034) * Added Recommends: preview-latex-style (for --preproc flag) * dot2tex/dot2tex.py: error messages make reference to Debian packages and filenames * debian/watch: new download location Files: fd988c4e9db28776a6f0e93576e45e7c 641 graphics optional dot2tex_2.5.0-1.dsc d5e2021713c6471bdea191c9727b9390 339391 graphics optional dot2tex_2.5.0.orig.tar.gz 107ffec22398f007232eea479266f686 6821 graphics optional dot2tex_2.5.0-1.diff.gz bde801b06d146bdc2ca1521af544a225 331986 graphics optional dot2tex_2.5.0-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGoPtCBxd04ADYzRYRAjubAJ9jhaALY7IlzYIdFUJ/WmeQqE6TdwCcCdzJ keSYcg5tVwKuJLAXqjWHQV4= =ovEk -END PGP SIGNATURE- Accepted: dot2tex_2.5.0-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.5.0-1.diff.gz dot2tex_2.5.0-1.dsc to pool/main/d/dot2tex/dot2tex_2.5.0-1.dsc dot2tex_2.5.0-1_all.deb to pool/main/d/dot2tex/dot2tex_2.5.0-1_all.deb dot2tex_2.5.0.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.5.0.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 2.0.3-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 01 Jun 2007 15:51:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.0.3-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.0.3-1) unstable; urgency=low . * New upstream release Files: 50349abfe9175c2c3aa51f8739a9f84c 641 graphics optional dot2tex_2.0.3-1.dsc cc8295e47b35a67a575ebedcff70da5b 277339 graphics optional dot2tex_2.0.3.orig.tar.gz 4c6ca98fe758411f6f27aa6a2678981b 6292 graphics optional dot2tex_2.0.3-1.diff.gz 1c486efde56303db03e92237aa165c2e 274392 graphics optional dot2tex_2.0.3-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGYDje+C5cwEsrK54RAkZjAJ9LaF00ZekcQcFmC8XWL3PTgKK7XwCfXcB7 mK6FozGesrNsWDHbnXLObDU= =2W0l -END PGP SIGNATURE- Accepted: dot2tex_2.0.3-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.0.3-1.diff.gz dot2tex_2.0.3-1.dsc to pool/main/d/dot2tex/dot2tex_2.0.3-1.dsc dot2tex_2.0.3-1_all.deb to pool/main/d/dot2tex/dot2tex_2.0.3-1_all.deb dot2tex_2.0.3.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.0.3.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 2.0.1-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 09 May 2007 16:00:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.0.1-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (2.0.1-1) unstable; urgency=low . * New upstream release Files: efae2bfbf2ce5f7f0f29435b0453c2a2 641 graphics optional dot2tex_2.0.1-1.dsc 4504f898cbe7e0206ab77950bce84360 270469 graphics optional dot2tex_2.0.1.orig.tar.gz de7538346f80ca719173aff6d4b72453 6110 graphics optional dot2tex_2.0.1-1.diff.gz 97d941bea032bda013fd42c4c415e308 267884 graphics optional dot2tex_2.0.1-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGQum4+C5cwEsrK54RAmmFAKCsekH/TOgQuOtPnbTZEbR2BDIz5wCgtVWp 8dFiOv9pJuyM+qriCaoC0kk= =5ecv -END PGP SIGNATURE- Accepted: dot2tex_2.0.1-1.diff.gz to pool/main/d/dot2tex/dot2tex_2.0.1-1.diff.gz dot2tex_2.0.1-1.dsc to pool/main/d/dot2tex/dot2tex_2.0.1-1.dsc dot2tex_2.0.1-1_all.deb to pool/main/d/dot2tex/dot2tex_2.0.1-1_all.deb dot2tex_2.0.1.orig.tar.gz to pool/main/d/dot2tex/dot2tex_2.0.1.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 1.5.1-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 20 Mar 2007 01:54:53 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 1.5.1-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Changes: dot2tex (1.5.1-1) unstable; urgency=low . * New upstream release Files: 4b29107184fcc16b46c07d84062749f5 641 graphics optional dot2tex_1.5.1-1.dsc ae169769e67356f6f1c063aa5254a421 203555 graphics optional dot2tex_1.5.1.orig.tar.gz 92cb61b49cfb15f938817f07f617470f 4634 graphics optional dot2tex_1.5.1-1.diff.gz 7401302870a98d55dd2122bbe3cc947c 204068 graphics optional dot2tex_1.5.1-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGAitO+C5cwEsrK54RAs0RAJoCDc5OUNiRNBC2G5RrRyRMZSXbMQCg0tXS 1AAxAQIjGgeLo2HI3KkQBLo= =ebva -END PGP SIGNATURE- Accepted: dot2tex_1.5.1-1.diff.gz to pool/main/d/dot2tex/dot2tex_1.5.1-1.diff.gz dot2tex_1.5.1-1.dsc to pool/main/d/dot2tex/dot2tex_1.5.1-1.dsc dot2tex_1.5.1-1_all.deb to pool/main/d/dot2tex/dot2tex_1.5.1-1_all.deb dot2tex_1.5.1.orig.tar.gz to pool/main/d/dot2tex/dot2tex_1.5.1.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted otter 3.3f-1 (source i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 5 Nov 2006 22:42:36 + Source: otter Binary: otter mace2 formed Architecture: source i386 Version: 3.3f-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: formed - formula editor for first-order logic formulae mace2 - program that searches for finite models of first-order statements otter - resolution-style theorem prover Closes: 397257 Changes: otter (3.3f-1) unstable; urgency=low . * Initial release (Closes: #397257) * Fixed broken Makefiles * Wrote manpages * examples/Loop/otter-ploop, examples/summary: Fixed broken interpreter path Files: 28b271b45c5825e05504d7e5578591bc 589 math optional otter_3.3f-1.dsc 795711b307cc1316e08d3d4f46c998c9 2554827 math optional otter_3.3f.orig.tar.gz c882f71fa5e5d8e2cd444de216cc9cf6 7134 math optional otter_3.3f-1.diff.gz 55bdee9ce191c3cbe86f71cc2183257a 761570 math optional otter_3.3f-1_i386.deb 758314d19e96d3ca22305f74fd1d30b0 508304 math optional mace2_3.3f-1_i386.deb ccc52c5fe91ed06ee18ddfc881c7f9fb 157358 math optional formed_3.3f-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFFnCH2+C5cwEsrK54RAnULAJsEIO0xX39Hb2swhqxUA2CsC3q2pwCgurkF PyqzNg1JRPfnL/6CdV6/JkM= =Ipw4 -END PGP SIGNATURE- Accepted: formed_3.3f-1_i386.deb to pool/main/o/otter/formed_3.3f-1_i386.deb mace2_3.3f-1_i386.deb to pool/main/o/otter/mace2_3.3f-1_i386.deb otter_3.3f-1.diff.gz to pool/main/o/otter/otter_3.3f-1.diff.gz otter_3.3f-1.dsc to pool/main/o/otter/otter_3.3f-1.dsc otter_3.3f-1_i386.deb to pool/main/o/otter/otter_3.3f-1_i386.deb otter_3.3f.orig.tar.gz to pool/main/o/otter/otter_3.3f.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted dot2tex 1.5.0-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: RIPEMD160 Format: 1.7 Date: Tue, 5 Dec 2006 10:24:24 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 1.5.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: dot2tex- Graphviz to LaTeX converter Closes: 398092 Changes: dot2tex (1.5.0-1) unstable; urgency=low . * Initial release (Closes: #398092) * Wrote manpage * Renamed dot2tex.py to dot2tex Files: ad4a8dcdc12392862cf3341ae66cc91a 646 graphics optional dot2tex_1.5.0-1.dsc 79126ed512933d4e849aa07fedc2c736 204519 graphics optional dot2tex_1.5.0.orig.tar.gz b05cb32f7abf13286374055459c6c17d 4617 graphics optional dot2tex_1.5.0-1.diff.gz 4be9397c776094356e46a3fd7618afd1 204224 graphics optional dot2tex_1.5.0-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFddPrrynHGRJLYfoRA5jLAJ9hcokH52dLaUpx/o/dV8GX5SjUMQCgi3Wr VMEslCqzYwOSaVZb5Vipoac= =Ra5V -END PGP SIGNATURE- Accepted: dot2tex_1.5.0-1.diff.gz to pool/main/d/dot2tex/dot2tex_1.5.0-1.diff.gz dot2tex_1.5.0-1.dsc to pool/main/d/dot2tex/dot2tex_1.5.0-1.dsc dot2tex_1.5.0-1_all.deb to pool/main/d/dot2tex/dot2tex_1.5.0-1_all.deb dot2tex_1.5.0.orig.tar.gz to pool/main/d/dot2tex/dot2tex_1.5.0.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted pydot 0.9.10-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: RIPEMD160 Format: 1.7 Date: Wed, 8 Nov 2006 15:52:04 + Source: pydot Binary: python-pydot Architecture: source all Version: 0.9.10-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: python-pydot - Python interface to Graphviz's dot Closes: 397663 Changes: pydot (0.9.10-1) unstable; urgency=low . * Initial release (Closes: #397663) Files: cb6ea898b99d94cb2528173186b423ce 651 graphics optional pydot_0.9.10-1.dsc d59609a3b69b19ad018c55d765945baf 14462 graphics optional pydot_0.9.10.orig.tar.gz 123b2cce6fe447f76851a27ef96618fa 1476 graphics optional pydot_0.9.10-1.diff.gz 94400a45a8b49f952ec0d07c5057becc 16014 graphics optional python-pydot_0.9.10-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFXQpkrynHGRJLYfoRA2hoAKCWjFTw1ELwOFevyzNkoFt2vJM43QCfeHB6 afaIRLIM2+W7xkagm0rOMFI= =025j -END PGP SIGNATURE- Accepted: pydot_0.9.10-1.diff.gz to pool/main/p/pydot/pydot_0.9.10-1.diff.gz pydot_0.9.10-1.dsc to pool/main/p/pydot/pydot_0.9.10-1.dsc pydot_0.9.10.orig.tar.gz to pool/main/p/pydot/pydot_0.9.10.orig.tar.gz python-pydot_0.9.10-1_all.deb to pool/main/p/pydot/python-pydot_0.9.10-1_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#398092: ITP: dot2tex -- Graphviz to LaTeX converter
Package: wnpp Severity: wishlist Owner: Peter Collingbourne [EMAIL PROTECTED] * Package name: dot2tex Version : 1.5.0 Upstream Author : Kjell Magne Fauske [EMAIL PROTECTED] * URL : http://www.fauskes.net/code/dot2tex/ * License : MIT Programming Lang: Python Description : Graphviz to LaTeX converter The purpose of dot2tex is to give graphs generated by the graph layout tool Graphviz a more LaTeX friendly look and feel. This is accomplished by: . - Using native PSTricks and PGF/TikZ commands for drawing arrows, edges and nodes. - Typesetting labels with LaTeX, allowing mathematical notation. - Using backend specific styles to customize the output. -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.17-2-686 Locale: LANG=en_GB, LC_CTYPE=en_GB (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#397663: ITP: pydot -- Python interface to Graphviz's dot
Package: wnpp Severity: wishlist Owner: Peter Collingbourne [EMAIL PROTECTED] * Package name: pydot Version : 0.9.10 Upstream Author : Ero Carrera [EMAIL PROTECTED] * URL : http://dkbza.org/pydot.html * License : MIT Programming Lang: Python Description : Python interface to Graphviz's dot This package provides you with a full Python interface for creating, handling, modifying and processing graphs in Graphviz's dot language. -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.17-2-686 Locale: LANG=en_GB, LC_CTYPE=en_GB (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#397257: ITP: otter -- resolution-style theorem prover
Package: wnpp Severity: wishlist Owner: Peter Collingbourne [EMAIL PROTECTED] * Package name: otter Version : 3.3f Upstream Author : William McCune [EMAIL PROTECTED] * URL : http://www.cs.unm.edu/~mccune/otter/ * License : public domain Programming Lang: C Description : resolution-style theorem prover OTTER is an automated theorem prover for equational logic developed at Argonne National Laboratory. . OTTER's inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches for proofs. OTTER can also be used as a symbolic calculator and has an embedded equational programming system. MACE is a program that searches for finite models of first-order and equational statements developed at Argonne National Laboratory. . This package includes ANLDP, which calls the propositional decision procedure at the core of MACE directly. . MACE serves as a complementary companion to OTTER, which searches for refutations of the same class of statement. In particular, if you have a first-order conjecture, OTTER will search for a proof, and MACE will search for a counterexample from the same input file. Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things. -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.17-2-686 Locale: LANG=en_GB, LC_CTYPE=en_GB (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
VMware packaging
Dear all, I found there were no VMware-related packages in the official repository, nor any way of creating them. Thus I propose to create a tool that will build (for example for VMware Server) vmware-server and vmware-modules-source packages based on an installation tarball (a la java-package). Thanks, -- Peter pgpsXMcZQ1IO6.pgp Description: PGP signature
Re: VMware packaging
On Sun, Aug 13, 2006 at 02:25:59AM +0200, Pierre Habouzit wrote: Le dim 13 août 2006 02:06, Peter Collingbourne a écrit : Dear all, I found there were no VMware-related packages in the official repository, nor any way of creating them. Thus I propose to create a tool that will build (for example for VMware Server) vmware-server and vmware-modules-source packages based on an installation tarball (a la java-package). why would we need it when there is already quite plenty of good free alternatives (qemu, bochs e.g.) ? To provide choice to the user perhaps? I myself use qemu but some may need features such as suspend/resume. Also, qemu is a bit slow without the non-free accelerator module. Thanks, -- Peter pgphQkAhtkacm.pgp Description: PGP signature
Accepted tcpser 1.0rc10-1 (source i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 4 Jul 2006 18:17:01 -0700 Source: tcpser Binary: tcpser Architecture: source i386 Version: 1.0rc10-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL PROTECTED] Description: tcpser - emulate a Hayes compatible modem Closes: 376993 Changes: tcpser (1.0rc10-1) unstable; urgency=low . * Initial release (Closes: #376993) * Added install rule to makefile * Wrote man page * Fixed typo in usage summary Files: 0ccb2df00b7b6d14f900858b03f35ce1 565 net optional tcpser_1.0rc10-1.dsc 8fc34e871e4ae7d4ebdef31d5c557f9f 45532 net optional tcpser_1.0rc10.orig.tar.gz 6715d5b9a12f14b1e07733869aa52c77 2532 net optional tcpser_1.0rc10-1.diff.gz e1cfb35d5ddff5c0b7bd3f4e2abee566 26202 net optional tcpser_1.0rc10-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFErNcvJdKMxZV9WM8RAgeHAJoD5U4k+PsdrK0ot/wDSUPo8FH0nwCfYjW5 qFzwj58QWk1l1c81iegLdRQ= =TvRu -END PGP SIGNATURE- Accepted: tcpser_1.0rc10-1.diff.gz to pool/main/t/tcpser/tcpser_1.0rc10-1.diff.gz tcpser_1.0rc10-1.dsc to pool/main/t/tcpser/tcpser_1.0rc10-1.dsc tcpser_1.0rc10-1_i386.deb to pool/main/t/tcpser/tcpser_1.0rc10-1_i386.deb tcpser_1.0rc10.orig.tar.gz to pool/main/t/tcpser/tcpser_1.0rc10.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#376993: ITP: tcpser -- emulate a Hayes compatible modem
Package: wnpp Severity: wishlist Owner: Peter Collingbourne [EMAIL PROTECTED] * Package name: tcpser Version : 1.0rc10 Upstream Author : Jim Brain [EMAIL PROTECTED] * URL : http://www.jbrain.com/pub/linux/serial * License : GPL Programming Lang: C Description : emulate a Hayes compatible modem TCPSER turns a PC serial port into an emulated Hayes compatible modem that uses TCP/IP for incoming and outgoing connections. It can be used to allow older applications and systems designed for modem use to operate on the Internet. TCPSER supports all standard Hayes commands, and understands extended and vendor proprietary commands (though it does not implement many of them). TCPSER can be used for both inbound and outbound connections. -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.15-1-686 Locale: LANG=en_GB, LC_CTYPE=en_GB (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: menu-method for .desktop files?
On Tue, Dec 07, 2004 at 03:35:45PM +0100, Bill Allombert wrote: On Mon, Dec 06, 2004 at 11:47:16PM +, Peter Collingbourne wrote: This is a good start, now the question is how to integrate this into the system. To tell you the truth I have also been working on a similar thing separately (tested). My version is attached and it is up to someone to decide which should be used. Please use mine. It has proper quoting and is in line with the other xdg methods. (I am the menu maintainer :). Sure, it is no big deal but it needs some features from my version which may be necessary: the definition of ConfigExec/ConfigTryExec/SessionManaged for one (see later). I believe the files should go into /etc/X11/sessions for two reasons: 1. at least one of the display managers already looks in there by default (gdm) 2. it is in common with the majority of the other menu-methods which write to somewhere in /etc It is common but this is a (mild) FHS violation: autogenerated files belong to /var, not /etc. However putting them in /usr would be a serious FHS violation, so I can live with /etc. I agree... we can move to /var when the rest of the menu-methods do :) Also five things need to be done in order to add this feature to the system: 1. Create a package for the menu-method I suppose we can include it in the menu-xdg package. Ok. 4. Change the following packages so that they do not install a .desktop file to /usr/share/xsessions (to avoid duplicate entries in the list): gnome/gnome-session x11/blackbox x11/fluxbox x11/fvwm x11/fvwm-gnome x11/icewm x11/icewm-experimental x11/icewm-lite x11/openbox x11/wmaker x11/xfce4-utils I am not sure about that part. Programs messing with .desktop file need to be smart enough to handle conflicts/override, else it is a clear abuse of the .desktop specification. ... The best way to deal with that is to reduce the changes to the minimum that achieve the goal. If you can avoid the requirement of removing existing .desktop file, we will have 90% less work. How would you suggest we adapt our method to deal with this? Possibly to check if an existing .desktop is present in /usr/share/xsessions from the same package. I believe install-menu would allow you to express that but it seems like an ugly hack to me and might not actually be possible. In the worst case the method could be rewritten in Perl or something (the language of ugly hacks :). Another question is: should this be mentioned in section 11.8.4 of the policy manual? Certainly not yet. I feel there are some decisions to be made at this point: - should we deprecate /usr/share/xsessions/* files? - should we define a menu attribute for ConfigExec/ConfigTryExec and SessionManaged? some of which will affect the implementation of our menu-method. I am wondering whether I should go through the procedures necessary to become an official Debian developer. Given the delay involved, that will not help. I believe if I am going to continue development (in general, not on this particular feature) it would be worthwhile for me to become one. I don't just want to become a 'cheerleader' and put my coding skills to waste :) -- Peter
Re: menu-method for .desktop files?
On Mon, Dec 06, 2004 at 07:34:45PM +0100, Bill Allombert wrote: On Sun, Dec 05, 2004 at 03:54:12PM +, Peter Collingbourne wrote: Hi I notice discussion on bug #241554 regarding a menu-method for .desktop files used by KDM/GDM for window manager sessions. Has any progress been made on this? If not I would like to volunteer for it. I definitely think it would be a useful thing to have, considering the majority of window managers still do not provide .desktop files. Hello, I have written the menu method, but I did not test it. Please find it here: http://people.debian.org/~ballombe/xsessions You will need to change rootprefix = /var/lib/xsessions; to rootprefix = /usr/share/xsessions; until display manager are able to read /var/lib/xsessions. This is a good start, now the question is how to integrate this into the system. To tell you the truth I have also been working on a similar thing separately (tested). My version is attached and it is up to someone to decide which should be used. I believe the files should go into /etc/X11/sessions for two reasons: 1. at least one of the display managers already looks in there by default (gdm) 2. it is in common with the majority of the other menu-methods which write to somewhere in /etc Also five things need to be done in order to add this feature to the system: 1. Create a package for the menu-method 2. Make gdm and kdm depend on it (either that or recommend it and add it to the list of packages installed by the desktop task) 3. Change kdm so it looks in /etc/X11/sessions by default for its session files (attached is a patch (tested) which can be applied to kdebase_3.2.2-1) 4. Change the following packages so that they do not install a .desktop file to /usr/share/xsessions (to avoid duplicate entries in the list): gnome/gnome-session x11/blackbox x11/fluxbox x11/fvwm x11/fvwm-gnome x11/icewm x11/icewm-experimental x11/icewm-lite x11/openbox x11/wmaker x11/xfce4-utils 5. Make the ksmserver package from KDE install a menu item rather than a .desktop file (also in the patch file). I know this is a lot of wide-sweeping changes to the system (especially as they are being suggested by a newcomer to the Debian devel process) but I believe once these items are done we will have a more consistent system. Another question is: should this be mentioned in section 11.8.4 of the policy manual? I am wondering whether I should go through the procedures necessary to become an official Debian developer. Thanks -- Peter diff -Nur kdebase-3.2.2-orig/debian/kdm.install kdebase-3.2.2/debian/kdm.install --- kdebase-3.2.2-orig/debian/kdm.install 2004-04-03 08:53:14.0 +0100 +++ kdebase-3.2.2/debian/kdm.install2004-12-06 20:48:06.0 + @@ -19,51 +19,6 @@ debian/tmp/usr/share/apps/kdm/pics/users/default1.png debian/tmp/usr/share/apps/kdm/pics/users/default2.png debian/tmp/usr/share/apps/kdm/pics/users/root1.png -debian/tmp/usr/share/apps/kdm/sessions/9wm.desktop -debian/tmp/usr/share/apps/kdm/sessions/aewm++.desktop -debian/tmp/usr/share/apps/kdm/sessions/aewm.desktop -debian/tmp/usr/share/apps/kdm/sessions/afterstep.desktop -debian/tmp/usr/share/apps/kdm/sessions/amaterus.desktop -debian/tmp/usr/share/apps/kdm/sessions/amiwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/asclassic.desktop -debian/tmp/usr/share/apps/kdm/sessions/blackbox.desktop -debian/tmp/usr/share/apps/kdm/sessions/cde.desktop -debian/tmp/usr/share/apps/kdm/sessions/ctwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/cwwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/enlightenment.desktop -debian/tmp/usr/share/apps/kdm/sessions/evilwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/fluxbox.desktop -debian/tmp/usr/share/apps/kdm/sessions/flwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/fvwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/fvwm95.desktop -debian/tmp/usr/share/apps/kdm/sessions/gnome.desktop -debian/tmp/usr/share/apps/kdm/sessions/golem.desktop -debian/tmp/usr/share/apps/kdm/sessions/icewm.desktop -debian/tmp/usr/share/apps/kdm/sessions/ion.desktop -debian/tmp/usr/share/apps/kdm/sessions/kde.desktop -debian/tmp/usr/share/apps/kdm/sessions/larswm.desktop -debian/tmp/usr/share/apps/kdm/sessions/lwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/matchbox.desktop -debian/tmp/usr/share/apps/kdm/sessions/metacity.desktop -debian/tmp/usr/share/apps/kdm/sessions/mwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/olvwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/olwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/openbox.desktop -debian/tmp/usr/share/apps/kdm/sessions/oroborus.desktop -debian/tmp/usr/share/apps/kdm/sessions/phluid.desktop -debian/tmp/usr/share/apps/kdm/sessions/pwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/qvwm.desktop -debian/tmp/usr/share/apps/kdm/sessions/ratpoison.desktop -debian/tmp/usr/share/apps/kdm/sessions/sapphire.desktop -debian/tmp/usr/share/apps/kdm/sessions
menu-method for .desktop files?
Hi I notice discussion on bug #241554 regarding a menu-method for .desktop files used by KDM/GDM for window manager sessions. Has any progress been made on this? If not I would like to volunteer for it. I definitely think it would be a useful thing to have, considering the majority of window managers still do not provide .desktop files. Please bcc me any replies replacing no.spam with doc.ic.ac.uk as I am not subscribed to the list and do not wish to receive spam. -- Peter
