maude 3.1-2 source package in Ubuntu
Changelog
maude (3.1-2) unstable; urgency=medium * Team Upload. * Fix for 32-bit arches * Standards-Version: 4.5.1 -- Nilesh Patra <email address hidden> Tue, 15 Dec 2020 21:59:43 +0530
Upload details
- Uploaded by:
- Debian Med
- Uploaded to:
- Sid
- Original maintainer:
- Debian Med
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Jammy | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
maude_3.1-2.dsc | 2.0 KiB | 9325171826be40009d7ce184299d47fbb6871f489ef6e2e2f862076bb7702259 |
maude_3.1.orig.tar.gz | 2.2 MiB | b112d7843f65217e3b5a9d40461698ef8dab7cbbe830af21216dfb924dc88a2f |
maude_3.1-2.debian.tar.xz | 6.6 KiB | 1cd6c6aa01417c8263564bb548a7e14684fab0dc2444215910e112f334e55962 |
Available diffs
- diff from 2.7-2build2 (in Ubuntu) to 3.1-2 (1.4 MiB)
- diff from 3.1-1 to 3.1-2 (973 bytes)
No changes file available.
Binary packages built by this source
- maude: No summary available for maude in ubuntu hirsute.
No description available for maude in ubuntu hirsute.
- maude-dbgsym: No summary available for maude-dbgsym in ubuntu hirsute.
No description available for maude-dbgsym in ubuntu hirsute.