Publishing details

• Created on 2023-07-31 by Ubuntu Archive Auto-Sync
• Published on 2023-07-31

Changelog

ssreflect (1.17.0-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 25 Jul 2023 08:07:18 +0200

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• libcoq-mathcomp Mathematical Components library for Coq (all)

• libcoq-mathcomp-algebra Mathematical Components library for Coq (algebra)

• libcoq-mathcomp-character Mathematical Components library for Coq (character)

• libcoq-mathcomp-field Mathematical Components library for Coq (field)

• libcoq-mathcomp-fingroup Mathematical Components library for Coq (finite groups)

• libcoq-mathcomp-solvable Mathematical Components library for Coq (finite groups II)

• libcoq-mathcomp-ssreflect Mathematical Components library for Coq (small scale reflection)

Package files

• libcoq-mathcomp-algebra_1.17.0-1build1_amd64.deb (7.2 MiB)
• libcoq-mathcomp-algebra_1.17.0-1build1_arm64.deb (7.2 MiB)
• libcoq-mathcomp-algebra_1.17.0-1build1_armhf.deb (7.2 MiB)
• libcoq-mathcomp-algebra_1.17.0-1build1_ppc64el.deb (7.2 MiB)
• libcoq-mathcomp-algebra_1.17.0-1build1_riscv64.deb (7.2 MiB)
• libcoq-mathcomp-algebra_1.17.0-1build1_s390x.deb (7.2 MiB)
• libcoq-mathcomp-character_1.17.0-1build1_amd64.deb (4.3 MiB)
• libcoq-mathcomp-character_1.17.0-1build1_arm64.deb (4.3 MiB)
• libcoq-mathcomp-character_1.17.0-1build1_armhf.deb (4.3 MiB)
• libcoq-mathcomp-character_1.17.0-1build1_ppc64el.deb (4.3 MiB)
• libcoq-mathcomp-character_1.17.0-1build1_riscv64.deb (4.3 MiB)
• libcoq-mathcomp-character_1.17.0-1build1_s390x.deb (4.3 MiB)
• libcoq-mathcomp-field_1.17.0-1build1_amd64.deb (3.0 MiB)
• libcoq-mathcomp-field_1.17.0-1build1_arm64.deb (3.0 MiB)
• libcoq-mathcomp-field_1.17.0-1build1_armhf.deb (3.0 MiB)
• libcoq-mathcomp-field_1.17.0-1build1_ppc64el.deb (3.0 MiB)
• libcoq-mathcomp-field_1.17.0-1build1_riscv64.deb (3.0 MiB)
• libcoq-mathcomp-field_1.17.0-1build1_s390x.deb (3.0 MiB)
• libcoq-mathcomp-fingroup_1.17.0-1build1_amd64.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.17.0-1build1_arm64.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.17.0-1build1_armhf.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.17.0-1build1_ppc64el.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.17.0-1build1_riscv64.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.17.0-1build1_s390x.deb (2.0 MiB)
• libcoq-mathcomp-solvable_1.17.0-1build1_amd64.deb (4.9 MiB)
• libcoq-mathcomp-solvable_1.17.0-1build1_arm64.deb (4.9 MiB)
• libcoq-mathcomp-solvable_1.17.0-1build1_armhf.deb (4.9 MiB)
• libcoq-mathcomp-solvable_1.17.0-1build1_ppc64el.deb (4.9 MiB)
• libcoq-mathcomp-solvable_1.17.0-1build1_riscv64.deb (4.9 MiB)
• libcoq-mathcomp-solvable_1.17.0-1build1_s390x.deb (4.9 MiB)
• libcoq-mathcomp-ssreflect_1.17.0-1build1_amd64.deb (4.7 MiB)
• libcoq-mathcomp-ssreflect_1.17.0-1build1_arm64.deb (4.7 MiB)
• libcoq-mathcomp-ssreflect_1.17.0-1build1_armhf.deb (4.7 MiB)
• libcoq-mathcomp-ssreflect_1.17.0-1build1_ppc64el.deb (4.7 MiB)
• libcoq-mathcomp-ssreflect_1.17.0-1build1_riscv64.deb (4.7 MiB)
• libcoq-mathcomp-ssreflect_1.17.0-1build1_s390x.deb (4.7 MiB)
• libcoq-mathcomp_1.17.0-1build1_amd64.deb (2.6 MiB)
• libcoq-mathcomp_1.17.0-1build1_arm64.deb (2.6 MiB)
• libcoq-mathcomp_1.17.0-1build1_armhf.deb (2.6 MiB)
• libcoq-mathcomp_1.17.0-1build1_ppc64el.deb (2.6 MiB)
• libcoq-mathcomp_1.17.0-1build1_riscv64.deb (2.6 MiB)
• libcoq-mathcomp_1.17.0-1build1_s390x.deb (2.6 MiB)
• ssreflect_1.17.0-1build1.debian.tar.xz (12.2 KiB)
• ssreflect_1.17.0-1build1.dsc (2.5 KiB)
• ssreflect_1.17.0.orig.tar.gz (1.3 MiB)