Ubuntu
coq-quickchick package

coq-quickchick 1.6.3-1 source package in Ubuntu

Changelog

coq-quickchick (1.6.3-1) unstable; urgency=medium

  * Initial release. (Closes: #1015000)

 -- Julien Puydt <email address hidden>  Sat, 16 Jul 2022 00:34:31 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-quickchick_1.6.3-1.dsc 2.2 KiB ecfa4546247f50054e45e365d408be58a48a6d9da17af8bc7df27297f6910f87
coq-quickchick_1.6.3.orig.tar.gz 379.7 KiB 1aa7c278a1cb26435f4227bea56e64dc8310e40b1824ba885ae8fd3b60eb6f0e
coq-quickchick_1.6.3-1.debian.tar.xz 2.5 KiB 6ed2379034b2049c401816ff0da3aeed99d1fc9ca66af7d444541b6e58091196

No changes file available.

Binary packages built by this source

libcoq-quickchick: No summary available for libcoq-quickchick in ubuntu kinetic.

No description available for libcoq-quickchick in ubuntu kinetic.

libcoq-quickchick-dbgsym: No summary available for libcoq-quickchick-dbgsym in ubuntu kinetic.

No description available for libcoq-quickchick-dbgsym in ubuntu kinetic.

quickchick: No summary available for quickchick in ubuntu kinetic.

No description available for quickchick in ubuntu kinetic.