Ubuntu
maude package

maude 3.2-1 source package in Ubuntu

Changelog

maude (3.2-1) unstable; urgency=medium

  * Point watch file to Github
  * New upstream version
  * Standards-Version: 4.6.0 (routine-update)
  * Set upstream metadata fields: Bug-Database, Bug-Submit.
  * Skip one fialing test

 -- Andreas Tille <email address hidden>  Sat, 19 Feb 2022 21:29:38 +0100

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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
maude_3.2-1.dsc 2.0 KiB a302dc0cf68df267e338c1715a21e3b67b297b333d2829c39e187c80c867b8f3
maude_3.2.orig.tar.gz 2.3 MiB 62e9df1754343a1eadb32834412dbc6d8ba460179280e46818fde2fdeaf1606a
maude_3.2-1.debian.tar.xz 6.6 KiB fb60ae0a5e4b5d84f5043187ef06bd14cb98d3d6168e1c423dbf97d4ac37fa42

No changes file available.

Binary packages built by this source