debian/8.0pl2-4

samuel.mimram@ens-lyon.org

06e68c3d · Updated to OCaml 3.09.0. · Nov 21, 2005

[svn-buildpackage] Tagging coq (8.0pl2-4)