Publishing details

• Removed from disk on 2017-09-02.
• Removal requested on 2017-09-02.
• Superseded on 2017-09-01 by ssreflect - 1.6.1-2build4
• Published on 2017-07-18
• Copied from ubuntu artful in 2865 - 2017-07-14 by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

ssreflect (1.6.1-2build3) artful; urgency=high

  * No change rebuild against coq abi change.

 -- Dimitri John Ledkov <email address hidden>  Sun, 16 Jul 2017 23:46:40 +0100

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• libssreflect-coq_1.6.1-2build3_all.deb (23.1 MiB)
• libssreflect-ocaml-dbgsym_1.6.1-2build3_amd64.ddeb (36.6 KiB)
• libssreflect-ocaml-dbgsym_1.6.1-2build3_arm64.ddeb (36.2 KiB)
• libssreflect-ocaml-dbgsym_1.6.1-2build3_armhf.ddeb (44.1 KiB)
• libssreflect-ocaml-dbgsym_1.6.1-2build3_i386.ddeb (35.8 KiB)
• libssreflect-ocaml-dbgsym_1.6.1-2build3_ppc64el.ddeb (36.6 KiB)
• libssreflect-ocaml-dbgsym_1.6.1-2build3_s390x.ddeb (31.8 KiB)
• libssreflect-ocaml-dev_1.6.1-2build3_amd64.deb (58.8 KiB)
• libssreflect-ocaml-dev_1.6.1-2build3_arm64.deb (58.8 KiB)
• libssreflect-ocaml-dev_1.6.1-2build3_armhf.deb (58.8 KiB)
• libssreflect-ocaml-dev_1.6.1-2build3_i386.deb (58.8 KiB)
• libssreflect-ocaml-dev_1.6.1-2build3_ppc64el.deb (58.8 KiB)
• libssreflect-ocaml-dev_1.6.1-2build3_s390x.deb (58.8 KiB)
• libssreflect-ocaml_1.6.1-2build3_amd64.deb (387.8 KiB)
• libssreflect-ocaml_1.6.1-2build3_arm64.deb (394.0 KiB)
• libssreflect-ocaml_1.6.1-2build3_armhf.deb (413.1 KiB)
• libssreflect-ocaml_1.6.1-2build3_i386.deb (335.6 KiB)
• libssreflect-ocaml_1.6.1-2build3_ppc64el.deb (394.1 KiB)
• libssreflect-ocaml_1.6.1-2build3_s390x.deb (401.7 KiB)
• ssreflect_1.6.1-2build3.debian.tar.xz (12.4 KiB)
• ssreflect_1.6.1-2build3.dsc (2.0 KiB)
• ssreflect_1.6.1.orig.tar.gz (4.5 MiB)