Ubuntu
coq-equations package

coq-equations 1.3-8.19-1 source package in Ubuntu

Changelog

coq-equations (1.3-8.19-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 24 Feb 2024 09:58:15 +0100

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-equations_1.3-8.19-1.dsc 2.1 KiB c77b5d56399a7b462e704cd3ff82a06c1c754bb51620a1f09084e75999160a55
coq-equations_1.3-8.19.orig.tar.gz 1.1 MiB 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198
coq-equations_1.3-8.19-1.debian.tar.xz 2.6 KiB b0999e49d5d751556d8b4610649380db3ba3298db76355b4968d6d698c001f25

No changes file available.

Binary packages built by this source