[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted alt-ergo 0.94-2 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 14 May 2012 14:11:48 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.94-2
Distribution: unstable
Urgency: high
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
Closes: 669539
Changes: 
 alt-ergo (0.94-2) unstable; urgency=high
 .
   * Add autoconf to Build-Depends to resolve an FTBFS (Closes: #669539).
   * Setting urgency to "high" to fix the RC bug.
Checksums-Sha1: 
 179168af7c373c00c25d60bf67503690d22240dd 1770 alt-ergo_0.94-2.dsc
 00f14018208f4f83d2d6f674b2dddf0ac050cd24 13077 alt-ergo_0.94-2.diff.gz
 27ea4077f95ec22dd71412d52460fcbbf42f3127 2444692 alt-ergo_0.94-2_amd64.deb
Checksums-Sha256: 
 9e713b360cd1fcea0080c17edb7a0f5fedf9e4cf9d34284cdfa997cf5852e88a 1770 alt-ergo_0.94-2.dsc
 03605d327d77a760740538933188899f8373db6c454a053cf04a27996a69a2f2 13077 alt-ergo_0.94-2.diff.gz
 c76a004dbe6f7a33ca14b8823b7c2ed622b8e4783afdaa050f2eac7bcbec63c8 2444692 alt-ergo_0.94-2_amd64.deb
Files: 
 bd336e7906352c33c183b2381b34e98e 1770 math optional alt-ergo_0.94-2.dsc
 1f9f240a6aa97e4e47e7313aada922a9 13077 math optional alt-ergo_0.94-2.diff.gz
 fa91dae6b02d1449ad70e61c1fb19fdb 2444692 math optional alt-ergo_0.94-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQEcBAEBAgAGBQJPsPmUAAoJEDe1GR0FRlJoG48H/2mxNsxeUwcZ1t2rfemQMSSy
+hU1Dfn3ZkZdVfN8/JytfOhrul3UodPYjcb49i4VI9abXNjNRktAxyvSjo5al/6A
kLOgS7vHc8HUfTBppDXLQg0stYiqjZnhYi+SA9H6trlVbVkzLUu3AXd/GsCYS1wq
q1wxCVmLlJM5QkEwENOJcUeOsQKuobng9Rz2ONzT+DaeT+S/5q/C9zvM8ZR1iBDu
k1sTRPxkEM5upSGBCenrJC/a1JnWdG71vnasOFSwlm00Q3Nu6f7WW60SS9Ccpytr
6m/v7AlzscVM6WVulYIJzTdr5/OkgEQZ/3FB4mEhN6gR2In0n+UhJ2sN6y6FuEI=
=1jdo
-----END PGP SIGNATURE-----


Accepted:
alt-ergo_0.94-2.diff.gz
  to main/a/alt-ergo/alt-ergo_0.94-2.diff.gz
alt-ergo_0.94-2.dsc
  to main/a/alt-ergo/alt-ergo_0.94-2.dsc
alt-ergo_0.94-2_amd64.deb
  to main/a/alt-ergo/alt-ergo_0.94-2_amd64.deb


Reply to: