ssreflect 1.15.0-1build6 source package in Ubuntu

Changelog

ssreflect (1.15.0-1build6) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 13 Jun 2023 11:07:31 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Mantic
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
ssreflect_1.15.0.orig.tar.gz 1.3 MiB 33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95
ssreflect_1.15.0-1build6.debian.tar.xz 12.2 KiB 9529539cffd542a66f9e4f0824150563f4779c8b973604ca155cd271f98724d2
ssreflect_1.15.0-1build6.dsc 2.5 KiB a6446b2879fe0e5aa8f9a5f0be5a97298bc01f9bd4e86a3c4bf01f724e2d10ad

Available diffs

View changes file

Binary packages built by this source