Publishing details

Published on 2022-03-02
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.14.0-7) unstable; urgency=medium

  * Better fix for Breaks+Replaces (Closes: #1005852).

 -- Julien Puydt <email address hidden>  Wed, 16 Feb 2022 22:19:18 +0100

Available diffs

diff from 1.13.0-1 to 1.14.0-7 (10.8 KiB)
diff from 1.14.0-6build1 (in Ubuntu) to 1.14.0-7 (730 bytes)

Builds

amd64

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.14.0-7_all.deb (7.0 MiB)
libcoq-mathcomp-character_1.14.0-7_all.deb (4.4 MiB)
libcoq-mathcomp-field_1.14.0-7_all.deb (3.0 MiB)
libcoq-mathcomp-fingroup_1.14.0-7_all.deb (2.0 MiB)
libcoq-mathcomp-solvable_1.14.0-7_all.deb (5.0 MiB)
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb (4.5 MiB)
libcoq-mathcomp_1.14.0-7_all.deb (2.5 MiB)
ssreflect_1.14.0-7.debian.tar.xz (12.1 KiB)
ssreflect_1.14.0-7.dsc (2.5 KiB)
ssreflect_1.14.0.orig.tar.gz (1.3 MiB)