-----BEGIN PGP SIGNED MESSAGE----- Hash: RIPEMD160 Format: 1.8 Date: Thu, 03 Sep 2009 15:08:33 +0200 Source: polyml Binary: polyml libpolyml-dev libpolyml1 Architecture: source amd64 Version: 5.2.1-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Lionel Elie Mamane <lmamane@debian.org> Description: libpolyml-dev - development files for Poly/ML, a compiler for the Standard ML libpolyml1 - runtime files for Poly/ML, a compiler for the Standard ML polyml - interpreter and interactive compiler for the Standard ML programm Closes: 494488 Changes: polyml (5.2.1-1) unstable; urgency=low . [ Achim D. Brucker ] * Initial upload to Debian (Closes: #494488) * new upstream version . [ Lionel Elie Mamane ] * Various packaging fixes * Bump up Standards-Version to 3.8.2 Checksums-Sha1: e889bdfa35fd8fe055181a6577013c7369cf7e87 1330 polyml_5.2.1-1.dsc 39cc9451113d41ca9c491167cf3973dfd55b7446 4114551 polyml_5.2.1.orig.tar.gz 5688148bea49566f9ef03b4d700681f52506f452 469390 polyml_5.2.1-1.diff.gz eb175db922204e81828408fc1df17299756c3508 1325728 polyml_5.2.1-1_amd64.deb af51bf5ddb90ecee1ce38ce94f14a94f586445f5 207138 libpolyml-dev_5.2.1-1_amd64.deb 22de571190963d998b72d37ca69383cfd6b2f3a1 153258 libpolyml1_5.2.1-1_amd64.deb Checksums-Sha256: af162e8e1a42b9a75b4c01b0114c9970adb343ce6aa3aaa13cdffc24d20ef4e6 1330 polyml_5.2.1-1.dsc c84148ae9a28e782f48208bcb8c5b82ee7bfdc178784fe81694cf1f0789ae62e 4114551 polyml_5.2.1.orig.tar.gz 212907e18bc5d7628c7b9cc7bcbd253442d3b017fe979a2971b0abc2aca8d005 469390 polyml_5.2.1-1.diff.gz bd1b12a3eccfb685cf8cedf8037601a496adf3d0f386f8bfb0ece5cd66dd4466 1325728 polyml_5.2.1-1_amd64.deb 7763076ba0d1789631bb710a966c2e3cd0e0a5e0897d7c8d0c3e7146f843e95d 207138 libpolyml-dev_5.2.1-1_amd64.deb 4aabdc2d9e090720fd6c17099dfbbb01f8407b68e1bf7c8acd265fe81cded247 153258 libpolyml1_5.2.1-1_amd64.deb Files: 1019c2790abaa1e06b482533c026aad3 1330 interpreters extra polyml_5.2.1-1.dsc 303ba7d26c262999685ddd54b36dd16b 4114551 interpreters extra polyml_5.2.1.orig.tar.gz d65262325429baf189b7a0c3d60df5fd 469390 interpreters extra polyml_5.2.1-1.diff.gz 6b7b48d2dc6b9565dd08250ddbb1c3c5 1325728 interpreters extra polyml_5.2.1-1_amd64.deb df274471e08ff153a2c208f981ae0bc5 207138 libdevel extra libpolyml-dev_5.2.1-1_amd64.deb a3419ddb57335a060b76e8a7b48f75f9 153258 libs extra libpolyml1_5.2.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREDAAYFAkqf6rIACgkQscRzFz57S3M2DwCfV1cdkwosbq5GoE6JgF6YAueO LXIAoMFux5lizm9ljgvsqkdJSa/jmp5o =Dlmt -----END PGP SIGNATURE----- Accepted: libpolyml-dev_5.2.1-1_amd64.deb to pool/main/p/polyml/libpolyml-dev_5.2.1-1_amd64.deb libpolyml1_5.2.1-1_amd64.deb to pool/main/p/polyml/libpolyml1_5.2.1-1_amd64.deb polyml_5.2.1-1.diff.gz to pool/main/p/polyml/polyml_5.2.1-1.diff.gz polyml_5.2.1-1.dsc to pool/main/p/polyml/polyml_5.2.1-1.dsc polyml_5.2.1-1_amd64.deb to pool/main/p/polyml/polyml_5.2.1-1_amd64.deb polyml_5.2.1.orig.tar.gz to pool/main/p/polyml/polyml_5.2.1.orig.tar.gz
