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 Changed-By: Peter Collingbourne 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 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 Changed-By: Peter Collingbourne 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 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 Changed-By: Peter Collingbourne 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 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 Changed-By: Peter Collingbourne 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
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 Changed-By: Peter Collingbourne 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 Changed-By: Peter Collingbourne 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 Changed-By: Peter Collingbourne 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 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
Changed-By: Peter Collingbourne
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 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 Changed-By: Peter Collingbourne 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 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 Changed-By: Peter Collingbourne 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 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 Changed-By: Peter Collingbourne 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 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
Changed-By: Peter Collingbourne
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 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 Changed-By: Peter Collingbourne 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 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 Changed-By: Peter Collingbourne 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 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 Changed-By: Peter Collingbourne 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
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 Changed-By: Peter Collingbourne 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 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 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 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 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 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 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 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 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.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]
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]
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]
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]
