Accepted aac-tactics 0.4-1b1 (source)

Jon Severinsson jon at severinsson.net
Mon Feb 3 12:17:04 EST 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 03 Feb 2014 17:47:35 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.4-1b1
Distribution: staging
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jon Severinsson <jon at severinsson.net>
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.4-1b1) staging; urgency=low
 .
   * No-change rebuild against updated ocaml libraries.
Checksums-Sha1: 
 99975994041c99e3283ddd62e7e9d45fa55684d9 2205 aac-tactics_0.4-1b1.dsc
 b01df835b1f47b4465b8e4d595f40ee336564779 77336 aac-tactics_0.4.orig.tar.gz
 b0a550674a3e571f040bf4bf8e3a3d7abb6884f5 3066 aac-tactics_0.4-1b1.debian.tar.gz
Checksums-Sha256: 
 27ef95489f4febf47faa25c578da4cf4d8c15fb292a6a4eee93021c54cb79fa3 2205 aac-tactics_0.4-1b1.dsc
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 927bd4840d4f08af08dac5b39dff7dc03449278b23c3cfdab2545ef06ca15801 3066 aac-tactics_0.4-1b1.debian.tar.gz
Files: 
 fb351ebcf266609a4e5af003a191b60d 2205 math optional aac-tactics_0.4-1b1.dsc
 6ea20f8288d6870d3baba0b5c940a9d4 77336 math optional aac-tactics_0.4.orig.tar.gz
 75c6cef38291b80e527ae9bed4b9b2a4 3066 math optional aac-tactics_0.4-1b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS78s6AAoJEIxPDyvAFXjJqsUP/RZVBWFwDLt15hssH9OlqIvk
NX2IkHM+iKDP3eiCG/ua3oeQroNsvYgKUfjd2VJewG/8LQmcrZmW3MidfAcL8gT9
5ZVYcBwppFjcKGgPPfsrM38r6F4zBXljmWlVrNYaQReUajGZ3nnMp709cLFtgFBH
7OU0CE+xR+yDW3x8OcILgeAN7vAyMRelPRAv4QSMmImBUFdmzJwQehu/XS0j+kxV
GzwA13q6bZ195N+Wf6NzttXQKox4f6ZRBdjwyyTdiiuXdyhaNKvq/fIqzPcrdLg8
Z6I5vc2uVbvfpnpteS/9OP8LL/RWLgCul4kIf590YMQJHDS7AFLe2JuPrHGnYzG6
l7Vl7+OsJWkcT5jwUnJfpwwkd7Gq45fSMXOdB8VBTbHkOWPD3TG73/7NJ/YeNDbF
jXi7W2vS9RGnL9Aqj1Y4ndAONhlZ6w6yOXO/8OVkc20AmuMwTEIG2p9mi78oRRyG
/jVnjUobBsjKSADDxei+L5dc5WFGGhvLa+eTpoXx9ofyt1S5WfLpfQW+xfCc05M3
IMimag8FGPKEIYnGIHoyP3B7n05LLyCOg/5FIlLyS8sRNZ5E3B89tg2+IprJ+BsR
TiFdcaLbLyUP/uBPwcV//j+fD3GP7zWQ8jO54u6gDsWxsUDFxKe2xA1/BCCoWB2A
cswbEg2/9wN5jBnq7k2l
=CGO9
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list