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 <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/oneiric/+source/aac-tactics/0.2.pl2-2build1
-----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 <[email protected]> Changed-By: Adam Conrad <[email protected]> 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-----
-- Oneiric-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/oneiric-changes
