The annotated tag, debian/0.2.pl2-6 has been created
at 93919bc4e169da2f3517b6f1adec31517df29be1 (tag)
tagging 4cb0bf1ddbaef98bdf93c2088972b7a8f94d0b2a (commit)
replaces debian/0.2.pl2-5
tagged by Stephane Glondu
on Sun Apr 1 17:28:21 2012 +0200
- Shortlog ------------------------------------------------------------
Debian release 0.2.pl2-6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAABCgAGBQJPeHQVAAoJEHhT2k1JiBrT5V0QAI/2s9NMufC8DyUipXk5pmtZ
boIUYI8uQ4Qg7mv5XGiZdNag9NhYE4MaogQLGEMzv1i2nQKkzSCjjOaO0BCSKp6V
t0zx0GVb4mXnsiEKHxyr1pJIfaavdeOGjvGCmBYnEr0Wzoo1lf/SDi53YzOD3LcK
CHkKHKTQ0SQdjlRsoxw8cEDVVNInOpg4VxhDRccbBLI/rgv0cAhKXXRQN1H7rMKe
mflje8/Vqs10uwixLcNgx7hE+PNvEsRMBv+pdzT8rqcOde5BkXcre0P9yPhiMdZF
Bm3QiRjEgscpG/QUvCoYsTntrnWmsSZR+AMgzoRc1RYyv3Ets6jRvIJIPkaIZZpo
XcCkkQsbBT/DGw1nQaaarcEeN2IFRZtVvpfkBJEH1awo45QkpOsiqqeFBfkCk2OK
omRJ8oN7o4parXUY174qzRch1+VSd1O4Z/MhBvIhe+qBvu3icqDly9udqvIfJfJO
at2WpxX5346zHd/aYdkwOdZNLKAlDYDzHAozXo2L5VFur74nzOwPFYtooo2RpYv7
W/XrmxsBeCUMhBbcMj0tFQ+o0OkrCRa2ABrw8T1+9Uc5H1RoQ4gF4HfbuSnp+i2d
RTOQRPsNUHOc5Cicz58Xy9TntLB3As8a6feoeToj4VfIlplbpP5/Q0qm6kA090BA
amY5TCOm7dUDz3FWxH8B
=nLhi
-----END PGP SIGNATURE-----
Stephane Glondu (1):
Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)
-----------------------------------------------------------------------
--
aac-tactics packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
