ssreflect 1.5-1 source package in Ubuntu

Changelog

ssreflect (1.5-1) unstable; urgency=medium


  * New upstream release

 -- St├ęphane Glondu <email address hidden>  Thu, 13 Mar 2014 13:25:52 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2014-03-13
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
ssreflect_1.5-1.dsc 2.2 KiB a98a5635fb361b6b6ee36aa77025577bb51181ecee258d7eb2862c6655f9ad7b
ssreflect_1.5.orig.tar.gz 212.7 KiB bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142
ssreflect_1.5-1.debian.tar.xz 11.2 KiB 8ecc04c5fad36a31ed27e9590c6ecb6e9cecc11c0a15b9d2b4106efac8b43ee4

Available diffs

No changes file available.

Binary packages built by this source

libssreflect-coq: No summary available for libssreflect-coq in ubuntu utopic.

No description available for libssreflect-coq in ubuntu utopic.

libssreflect-ocaml: No summary available for libssreflect-ocaml in ubuntu utopic.

No description available for libssreflect-ocaml in ubuntu utopic.

libssreflect-ocaml-dev: No summary available for libssreflect-ocaml-dev in ubuntu utopic.

No description available for libssreflect-ocaml-dev in ubuntu utopic.