Accepted alt-ergo 0.93-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 16 Apr 2011 00:47:04 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.93-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (0.93-2) unstable; urgency=low
.
* Add patch to fix FTBFS on bytecode architectures.
- 0004-Add-rules-and-targets-for-gui.byte.patch
Checksums-Sha1:
5d9da948f3e75afe84c5fb078600ef5e39d5bc06 1719 alt-ergo_0.93-2.dsc
48cab8b8c4804766ad844e163f082b7488d4ca22 11487 alt-ergo_0.93-2.diff.gz
2f9f92c09465261b7fecf02933f10358b99b9b5f 1889762 alt-ergo_0.93-2_amd64.deb
Checksums-Sha256:
c1f32e9dcb20af231e7ac02006459b9c30da2c96a34d3e8df21a9487926c5a50 1719 alt-ergo_0.93-2.dsc
2be812de9fbb3a54d4dad898e6b746b7bb319bf53683f1bae42039f2cfaf50aa 11487 alt-ergo_0.93-2.diff.gz
e528936d2cb1bbd73c63a51c5633d91adbfc0a1a3bac4bfc28361564f5158b03 1889762 alt-ergo_0.93-2_amd64.deb
Files:
9f945a365ccc9a25cba1dc3d7c5f60c6 1719 math optional alt-ergo_0.93-2.dsc
8fd15b44cf4da5bbaacf344657d58dd3 11487 math optional alt-ergo_0.93-2.diff.gz
7c1e091d5161c53eeae217b00185e89e 1889762 math optional alt-ergo_0.93-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQEcBAEBCAAGBQJNqM8xAAoJEDe1GR0FRlJokvQH/2P/xOuMuYTyKHB+DhaQtMDA
ZwUY3XJElmWzcvw+ApZu5MrXkd/R56nQ+gW5Jy0uWRTYav6COn7MBToJ8H9YwSGv
9qINOCH2A/45gC4DY6kdVVxAj9Q/3fEt+o+wXVV9QjIV+A3/WeGLk8QVfy2NNsGZ
LACvMypTT2wpZeNbImE2twuBh8Cf2KhfxtAsq5P1CMKQLxToKHrChLZDTyebZ2sr
YQmjZuoC8iLi8vF3gDQGGDsbOHYfGsImTrCw0XorLZoBmeqBHUSA79vrESR1KA+7
0GQgwBQ7hTBbmF98gKon6lX2s8VUMFZ1QcZ3zAaVjFMd/gjem2SpLeHyy2dfquE=
=CmVy
-----END PGP SIGNATURE-----
Accepted:
alt-ergo_0.93-2.diff.gz
to main/a/alt-ergo/alt-ergo_0.93-2.diff.gz
alt-ergo_0.93-2.dsc
to main/a/alt-ergo/alt-ergo_0.93-2.dsc
alt-ergo_0.93-2_amd64.deb
to main/a/alt-ergo/alt-ergo_0.93-2_amd64.deb
Reply to: