ssreflect 2.1.0-1build5 source package in Ubuntu
Changelog
ssreflect (2.1.0-1build5) oracular; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Thu, 02 May 2024 22:19:38 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Oracular
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| ssreflect_2.1.0.orig.tar.gz | 1.8 MiB | ca000eb4cbd80f9088fd5f6a6745eebf9be3c0d7430fa3fde10a790b99466d26 |
| ssreflect_2.1.0-1build5.debian.tar.xz | 12.6 KiB | 055e946ad95b93c0a3cc049723f032031bceecfce403ace240085e633de1188e |
| ssreflect_2.1.0-1build5.dsc | 2.6 KiB | 5453e9d9a30a8730b8c6e535a4e3c121df9a36f518fbbbe6e11715b119e8134e |
Available diffs
- diff from 2.1.0-1build4 to 2.1.0-1build5 (332 bytes)
