Publishing details

Published on 2020-04-01
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

ssreflect (1.10.0+dfsg-2) unstable; urgency=medium

  * Rebuild against coq 8.11.0
  * Standards-version 4.5.0 (no change)

 -- Ralf Treinen <email address hidden>  Fri, 06 Mar 2020 21:43:51 +0100

Available diffs

diff from 1.10.0+dfsg-1build1 (in Ubuntu) to 1.10.0+dfsg-2 (561 bytes)

Builds

amd64

Built packages

libssreflect-coq Mathematical Components library for Coq

Package files

libssreflect-coq_1.10.0+dfsg-2_all.deb (24.7 MiB)
ssreflect_1.10.0+dfsg-2.debian.tar.xz (12.4 KiB)
ssreflect_1.10.0+dfsg-2.dsc (2.1 KiB)
ssreflect_1.10.0+dfsg.orig.tar.gz (1.2 MiB)