Publishing details

• Removed from disk on 2015-05-01.
• Removal requested on 2015-04-24.
• Published on 2012-06-10
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)

Changelog

ssreflect (1.3pl4-1) unstable; urgency=low


  * New upstream release
  * Put debian/copyright in format 1.0
  * Bump Standards-Version to 3.9.3

 -- Stéphane Glondu <email address hidden>  Sat, 09 Jun 2012 09:35:40 +0200

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Package files

• libssreflect-coq_1.3pl4-1_all.deb (15.3 MiB)
• libssreflect-ocaml-dev_1.3pl4-1_amd64.deb (381.4 KiB)
• libssreflect-ocaml-dev_1.3pl4-1_armel.deb (428.7 KiB)
• libssreflect-ocaml-dev_1.3pl4-1_i386.deb (378.4 KiB)
• libssreflect-ocaml-dev_1.3pl4-1_powerpc.deb (534.3 KiB)
• libssreflect-ocaml_1.3pl4-1_amd64.deb (460.1 KiB)
• libssreflect-ocaml_1.3pl4-1_armel.deb (117.1 KiB)
• libssreflect-ocaml_1.3pl4-1_i386.deb (388.3 KiB)
• libssreflect-ocaml_1.3pl4-1_powerpc.deb (493.9 KiB)
• ssreflect_1.3pl4-1.debian.tar.gz (12.2 KiB)
• ssreflect_1.3pl4-1.dsc (2.2 KiB)
• ssreflect_1.3pl4.orig.tar.gz (815.0 KiB)