Ubuntu
why3 package

why3 1.3.1-3build1 source package in Ubuntu

Changelog

why3 (1.3.1-3build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sun, 23 Aug 2020 13:25:10 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Groovy
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
why3_1.3.1.orig.tar.gz 5.6 MiB 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b
why3_1.3.1-3build1.debian.tar.xz 17.8 KiB 254fe2851924f063800cd1b76e343b6945516c9a2a1642ae34379f8558088cc0
why3_1.3.1-3build1.dsc 2.8 KiB e4c2821a5ef95a35348551b642e31cf8abf08ca023d93933c59ab280465caaf9

View changes file

Binary packages built by this source

libwhy3-ocaml-dev: No summary available for libwhy3-ocaml-dev in ubuntu groovy.

No description available for libwhy3-ocaml-dev in ubuntu groovy.

libwhy3-ocaml-dev-dbgsym: No summary available for libwhy3-ocaml-dev-dbgsym in ubuntu groovy.

No description available for libwhy3-ocaml-dev-dbgsym in ubuntu groovy.

why3: No summary available for why3 in ubuntu groovy.

No description available for why3 in ubuntu groovy.

why3-coq: No summary available for why3-coq in ubuntu groovy.

No description available for why3-coq in ubuntu groovy.

why3-dbgsym: No summary available for why3-dbgsym in ubuntu groovy.

No description available for why3-dbgsym in ubuntu groovy.

why3-doc-html: No summary available for why3-doc-html in ubuntu groovy.

No description available for why3-doc-html in ubuntu groovy.

why3-doc-pdf: No summary available for why3-doc-pdf in ubuntu groovy.

No description available for why3-doc-pdf in ubuntu groovy.

why3-examples: No summary available for why3-examples in ubuntu groovy.

No description available for why3-examples in ubuntu groovy.