[ubuntu/oneiric] aac-tactics 0.2.pl2-2build1 (Accepted)

Adam Conrad adconrad at ubuntu.com
Thu Aug 25 10:05:24 UTC 2011


aac-tactics (0.2.pl2-2build1) oneiric; urgency=low

  * Rebuild to pick up ocaml fixes on armel.

Date: Wed, 24 Aug 2011 16:40:51 -0600
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/oneiric/+source/aac-tactics/0.2.pl2-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 24 Aug 2011 16:40:51 -0600
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.2.pl2-2build1
Distribution: oneiric
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Description: 
 libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)
 libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
 libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
Changes: 
 aac-tactics (0.2.pl2-2build1) oneiric; urgency=low
 .
   * Rebuild to pick up ocaml fixes on armel.
Checksums-Sha1: 
 97c829005d0517af9011ccaf9d67246ae27004cd 1459 aac-tactics_0.2.pl2-2build1.dsc
 3ec0126acc30a2f7ac302859d29d1b0e23fcaa96 2585 aac-tactics_0.2.pl2-2build1.debian.tar.gz
Checksums-Sha256: 
 e17b4423b72402dd97c3913fa002f1d2e2cfe7ec27b4ea45e98095385e7f813c 1459 aac-tactics_0.2.pl2-2build1.dsc
 3a5b4e858dcc2b0f450760276ea3971a21a6bea7034f554ab0a82c8cf7995e8e 2585 aac-tactics_0.2.pl2-2build1.debian.tar.gz
Files: 
 1cc23748bfa5fa72878187a643b1777a 1459 math optional aac-tactics_0.2.pl2-2build1.dsc
 0ee7ea497a6160f1611623e3d78ea6a1 2585 math optional aac-tactics_0.2.pl2-2build1.debian.tar.gz

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

iEYEARECAAYFAk5Vf8MACgkQvjztR8bOoMkATwCfXhlUjMatR0w2R1I7fOBh6vOj
p50AnR6o5rc8cIZZwilubjxlgd5WqY7k
=sHj4
-----END PGP SIGNATURE-----


More information about the Oneiric-changes mailing list