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

Accepted coq 8.0pl3+8.1beta.2-1 (source i386 all)



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

Format: 1.7
Date: Thu, 13 Jul 2006 16:28:24 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.0pl3+8.1beta.2-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-libs   - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
Changes: 
 coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
 .
   * New upstream beta release.
   * Added assert.dpatch to check assertions in native mode.
Files: 
 7c4737e4e18ba816bc07d9b77501656e 921 math optional coq_8.0pl3+8.1beta.2-1.dsc
 196831e54bc03b13ba57a31631de5849 2853384 math optional coq_8.0pl3+8.1beta.2.orig.tar.gz
 3b8c77062d014b48ecdf3378653ae130 13177 math optional coq_8.0pl3+8.1beta.2-1.diff.gz
 d69201461f5ed918361448bd60939553 13925266 math optional coq-libs_8.0pl3+8.1beta.2-1_all.deb
 8ac17dd463d55baff96cb0baa2cd8b2d 6495912 math optional coq_8.0pl3+8.1beta.2-1_i386.deb
 5de621f96c97048d11d280f41d0059a7 4447644 math optional coqide_8.0pl3+8.1beta.2-1_i386.deb

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

iD8DBQFEtnmcIae1O4AJae8RArCCAJ0aUB3LguhqzHbQQchdKfMAK/SnYACfSvJ1
JeQdzP4jdayB0G1EsfmIqS0=
=u0NI
-----END PGP SIGNATURE-----


Accepted:
coq-libs_8.0pl3+8.1beta.2-1_all.deb
  to pool/main/c/coq/coq-libs_8.0pl3+8.1beta.2-1_all.deb
coq_8.0pl3+8.1beta.2-1.diff.gz
  to pool/main/c/coq/coq_8.0pl3+8.1beta.2-1.diff.gz
coq_8.0pl3+8.1beta.2-1.dsc
  to pool/main/c/coq/coq_8.0pl3+8.1beta.2-1.dsc
coq_8.0pl3+8.1beta.2-1_i386.deb
  to pool/main/c/coq/coq_8.0pl3+8.1beta.2-1_i386.deb
coq_8.0pl3+8.1beta.2.orig.tar.gz
  to pool/main/c/coq/coq_8.0pl3+8.1beta.2.orig.tar.gz
coqide_8.0pl3+8.1beta.2-1_i386.deb
  to pool/main/c/coq/coqide_8.0pl3+8.1beta.2-1_i386.deb



Reply to: