debian/8.0pl2-3

samuel.mimram@ens-lyon.org

44032630 · Switching to svn-buildpackage. · Sep 07, 2005

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