mathcomp-algebra-tactics 1.0.0-1 source package in Ubuntu
Changelog
mathcomp-algebra-tactics (1.0.0-1) unstable; urgency=medium * New upstream release. * Bump standards-version to 4.6.1. -- Julien Puydt <email address hidden> Wed, 18 May 2022 09:18:56 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| mathcomp-algebra-tactics_1.0.0-1.dsc | 2.1 KiB | ca2dfa60aba3fc51bcb862b109c3956ef10193430cdaaeb1a50802763e9688c0 |
| mathcomp-algebra-tactics_1.0.0.orig.tar.gz | 36.4 KiB | fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad |
| mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz | 8.3 KiB | aaf2dbfee491c3f2d1838764692c093a3552b794bef77bb1f7d58b5dec610fca |
Available diffs
- diff from 0.3.0-1 to 1.0.0-1 (9.1 KiB)
No changes file available.
Binary packages built by this source
- libcoq-mathcomp-algebra-tactics: No summary available for libcoq-mathcomp-algebra-tactics in ubuntu kinetic.
No description available for libcoq-
mathcomp- algebra- tactics in ubuntu kinetic.
