Accepted aac-tactics 0.1-r13244-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 30 Nov 2010 16:24:53 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.1-r13244-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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)
Closes: 605487
Changes:
aac-tactics (0.1-r13244-1) experimental; urgency=low
.
* Initial release (Closes: #605487)
Checksums-Sha1:
eaf3732acf0a3410d9d2fa4e826cdf094137d1c5 2102 aac-tactics_0.1-r13244-1.dsc
ee367109419d341ce2fd3585cfb0f0d44496e425 53617 aac-tactics_0.1-r13244.orig.tar.gz
111c1551fb10f9511ebe61360d33f7c7d2d91e6d 4006 aac-tactics_0.1-r13244-1.debian.tar.gz
620c452ba94703cddb991fbf8294d5db7d11f31c 93494 libaac-tactics-ocaml_0.1-r13244-1_amd64.deb
735fed89d33e43e99bc260daa7c04e8c537f36fa 88362 libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb
c331d140f2eddbbf6227719be848381b055ce299 229568 libaac-tactics-coq_0.1-r13244-1_all.deb
Checksums-Sha256:
19303f4d5314dba3a63468c73a6c0a6edd1109b7cccee02882e985dfee30d879 2102 aac-tactics_0.1-r13244-1.dsc
a69a59ce23df55dbe033eff7167d6d8c0f6d3d0431b9c25d159d7731bca799cd 53617 aac-tactics_0.1-r13244.orig.tar.gz
a604a2b4bd73e3f68e87857a2250da1399235d7f45acd130bad7d1fdc8db3e5e 4006 aac-tactics_0.1-r13244-1.debian.tar.gz
ba736547a27cef5093a5f1bd722c61a45e2005cae1b17f1e74680ac405353a3d 93494 libaac-tactics-ocaml_0.1-r13244-1_amd64.deb
b42498c8083f616026a057ca5032e4cf49fe9f0d666a400be95f1141db7f6f70 88362 libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb
29911ac69fed9ee2628774ff94aef2a02e023e0d818160de24398a01d2953ac3 229568 libaac-tactics-coq_0.1-r13244-1_all.deb
Files:
eb3092865405d98398c3499d158c7bda 2102 math optional aac-tactics_0.1-r13244-1.dsc
a48c525bdb7da1e4ca68d73cbfba042d 53617 math optional aac-tactics_0.1-r13244.orig.tar.gz
3b5457379ff15eb7b9330f418fcaeaf1 4006 math optional aac-tactics_0.1-r13244-1.debian.tar.gz
a6cd9863eeb5181cb4735941e4e1c2a9 93494 ocaml optional libaac-tactics-ocaml_0.1-r13244-1_amd64.deb
3ff1930cb210073dd9e52428f5d0cac3 88362 ocaml optional libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb
b1caeaa41cbfbe849dce8a7c35e0de1b 229568 math optional libaac-tactics-coq_0.1-r13244-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJM9RjRAAoJEHhT2k1JiBrTEp0P/RuxPOmvfKvIJGmpLqSZa0sf
Qjt1skrr6Qb583XXWX62Kso9i2+abXysputdGGIYsMVDC0fqFRCGYqXNZTZFnv73
svBl96G2figPRvgI81tioWvmSaU/aHhepRSIAFA0qHnmqQg4xlmXlQXIDxVjaVwg
jVredTivZEYNjP5hfUV9oSwVMHgH63lyWgJFgk5xe4hDfSfRm5BGmTy86lsyiH5d
bBtXJeXDFXpyDonVK9f8f6MrB5bkz11ZtdmcEwQDylQPoVnQfw6lrsTqq1MBkcCa
EbY4/MEzkQLQB8t3uqAUt/VeW/cUkIledRYPPUN5zLFoqTDc4U99c5xtmoilyTWN
P+6BepuBMPgaJkKebYZygiJFD9wCcdlqyYLFRMKdDiotrc7oGgzCRT9CJCn1L9AQ
4u9uncLBiZKxbQ804mIwRQfN3xo4lv3WMyRyXPy+XKvXMyJKiDhLjRB5dPLiF8JI
nxJDExwr6/GOxXzLygAJfUaZIb8Y4bKiBx4B9aN4p4TgxJ9KV1VXGhltQd2dDjqQ
dNSSC8EmssicmCU4YXsODer3ZOS6MTvoYqlYdQLCBtz0j9x7hz3R4TqkS9EeKa8D
eUOI3t0L8TFFVzBgkRMSuipqGrERCR40xYi9TziicohYP5rPRvQoSM7qr5Kqx70w
1qFJR0fzJGWVPtOpvDbF
=sum4
-----END PGP SIGNATURE-----
Accepted:
aac-tactics_0.1-r13244-1.debian.tar.gz
to main/a/aac-tactics/aac-tactics_0.1-r13244-1.debian.tar.gz
aac-tactics_0.1-r13244-1.dsc
to main/a/aac-tactics/aac-tactics_0.1-r13244-1.dsc
aac-tactics_0.1-r13244.orig.tar.gz
to main/a/aac-tactics/aac-tactics_0.1-r13244.orig.tar.gz
libaac-tactics-coq_0.1-r13244-1_all.deb
to main/a/aac-tactics/libaac-tactics-coq_0.1-r13244-1_all.deb
libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb
libaac-tactics-ocaml_0.1-r13244-1_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml_0.1-r13244-1_amd64.deb
Reply to: