why3 1.4.0-3build1 source package in Ubuntu

Changelog

why3 (1.4.0-3build1) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Wed, 26 Jan 2022 10:37:01 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Jammy
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.4.0.orig.tar.gz 6.0 MiB 68e7c1ae54b6f3cdb48e633ea64d68da01a45f5f7545ccf74eff1f32fa658053
why3_1.4.0-3build1.debian.tar.xz 39.2 KiB bdaf8f5602cf9edea4ab3b949b60502dc96dfff525cd6822b8db3e2c7aad6098
why3_1.4.0-3build1.dsc 3.0 KiB 2963c9ba9e757dc68c039e624b1d4fba8f74fd0968f447287390fd6f7b0ef5c1

View changes file

Binary packages built by this source