Publishing details

• Removed from disk on 2018-01-22.
• Removal requested on 2018-01-18.
• Published on 2014-10-23
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

ssreflect (1.5-2) unstable; urgency=medium


  * Recompile with coq 8.4pl4

 -- Stéphane Glondu <email address hidden>  Wed, 30 Jul 2014 10:21:09 +0200

Builds

Package files

• libssreflect-coq_1.5-2_all.deb (1.1 MiB)
• libssreflect-ocaml-dev_1.5-2_amd64.deb (61.9 KiB)
• libssreflect-ocaml-dev_1.5-2_arm64.deb (61.9 KiB)
• libssreflect-ocaml-dev_1.5-2_armhf.deb (61.9 KiB)
• libssreflect-ocaml-dev_1.5-2_i386.deb (61.9 KiB)
• libssreflect-ocaml-dev_1.5-2_powerpc.deb (61.9 KiB)
• libssreflect-ocaml-dev_1.5-2_ppc64el.deb (61.9 KiB)
• libssreflect-ocaml_1.5-2_amd64.deb (460.5 KiB)
• libssreflect-ocaml_1.5-2_arm64.deb (106.3 KiB)
• libssreflect-ocaml_1.5-2_armhf.deb (434.0 KiB)
• libssreflect-ocaml_1.5-2_i386.deb (398.5 KiB)
• libssreflect-ocaml_1.5-2_powerpc.deb (395.7 KiB)
• libssreflect-ocaml_1.5-2_ppc64el.deb (106.8 KiB)
• ssreflect_1.5-2.debian.tar.xz (11.2 KiB)
• ssreflect_1.5-2.dsc (2.2 KiB)
• ssreflect_1.5.orig.tar.gz (212.7 KiB)