Publishing details

• Removal requested on 2023-11-13.
• Published on 2022-07-19
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

ssreflect (1.15.0-1) unstable; urgency=medium

  * New upstream release.
  * Rewrite the autopkgtest.

 -- Julien Puydt <email address hidden>  Tue, 05 Jul 2022 08:55:31 +0200

Builds

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

Package files

• libcoq-mathcomp-algebra_1.15.0-1_amd64.deb (7.0 MiB)
• libcoq-mathcomp-algebra_1.15.0-1_arm64.deb (7.0 MiB)
• libcoq-mathcomp-algebra_1.15.0-1_armhf.deb (7.0 MiB)
• libcoq-mathcomp-algebra_1.15.0-1_ppc64el.deb (7.0 MiB)
• libcoq-mathcomp-algebra_1.15.0-1_riscv64.deb (7.0 MiB)
• libcoq-mathcomp-algebra_1.15.0-1_s390x.deb (7.0 MiB)
• libcoq-mathcomp-character_1.15.0-1_amd64.deb (4.3 MiB)
• libcoq-mathcomp-character_1.15.0-1_arm64.deb (4.3 MiB)
• libcoq-mathcomp-character_1.15.0-1_armhf.deb (4.3 MiB)
• libcoq-mathcomp-character_1.15.0-1_ppc64el.deb (4.3 MiB)
• libcoq-mathcomp-character_1.15.0-1_riscv64.deb (4.3 MiB)
• libcoq-mathcomp-character_1.15.0-1_s390x.deb (4.3 MiB)
• libcoq-mathcomp-field_1.15.0-1_amd64.deb (3.0 MiB)
• libcoq-mathcomp-field_1.15.0-1_arm64.deb (3.0 MiB)
• libcoq-mathcomp-field_1.15.0-1_armhf.deb (3.0 MiB)
• libcoq-mathcomp-field_1.15.0-1_ppc64el.deb (3.0 MiB)
• libcoq-mathcomp-field_1.15.0-1_riscv64.deb (3.0 MiB)
• libcoq-mathcomp-field_1.15.0-1_s390x.deb (3.0 MiB)
• libcoq-mathcomp-fingroup_1.15.0-1_amd64.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.15.0-1_arm64.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.15.0-1_armhf.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.15.0-1_ppc64el.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.15.0-1_riscv64.deb (2.0 MiB)
• libcoq-mathcomp-fingroup_1.15.0-1_s390x.deb (2.0 MiB)
• libcoq-mathcomp-solvable_1.15.0-1_amd64.deb (5.0 MiB)
• libcoq-mathcomp-solvable_1.15.0-1_arm64.deb (5.0 MiB)
• libcoq-mathcomp-solvable_1.15.0-1_armhf.deb (5.0 MiB)
• libcoq-mathcomp-solvable_1.15.0-1_ppc64el.deb (5.0 MiB)
• libcoq-mathcomp-solvable_1.15.0-1_riscv64.deb (5.0 MiB)
• libcoq-mathcomp-solvable_1.15.0-1_s390x.deb (5.0 MiB)
• libcoq-mathcomp-ssreflect_1.15.0-1_amd64.deb (4.5 MiB)
• libcoq-mathcomp-ssreflect_1.15.0-1_arm64.deb (4.5 MiB)
• libcoq-mathcomp-ssreflect_1.15.0-1_armhf.deb (4.5 MiB)
• libcoq-mathcomp-ssreflect_1.15.0-1_ppc64el.deb (4.5 MiB)
• libcoq-mathcomp-ssreflect_1.15.0-1_riscv64.deb (4.5 MiB)
• libcoq-mathcomp-ssreflect_1.15.0-1_s390x.deb (4.5 MiB)
• libcoq-mathcomp_1.15.0-1_amd64.deb (2.5 MiB)
• libcoq-mathcomp_1.15.0-1_arm64.deb (2.5 MiB)
• libcoq-mathcomp_1.15.0-1_armhf.deb (2.5 MiB)
• libcoq-mathcomp_1.15.0-1_ppc64el.deb (2.5 MiB)
• libcoq-mathcomp_1.15.0-1_riscv64.deb (2.5 MiB)
• libcoq-mathcomp_1.15.0-1_s390x.deb (2.5 MiB)
• ssreflect_1.15.0-1.debian.tar.xz (12.1 KiB)
• ssreflect_1.15.0-1.dsc (2.5 KiB)
• ssreflect_1.15.0.orig.tar.gz (1.3 MiB)