Ubuntu
maude package

maude 3.0-1 source package in Ubuntu

Changelog

maude (3.0-1) unstable; urgency=medium

  [ Jelmer Vernooij ]
  * Use secure copyright file specification URI.

  [ Andreas Tille ]
  * New upstream version
  * Fix watch file
  * Point Vcs fields to salsa.debian.org
  * Build-Depends: libcvc4-dev
  * Avoid parallel build
  * export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel)
  * debhelper 12
  * Standards-Version: 4.5.0
  * Remove trailing whitespace in debian/copyright
  * debhelper-compat 12 (routine-update)
  * Add salsa-ci file (routine-update)
  * Rules-Requires-Root: no (routine-update)
  * Remove obsolete fields Contact, Name from debian/upstream/metadata
    (already present in machine-readable debian/copyright).
  * Build with --with-yices2=no since
       https://github.com/SRI-CSL/yices2
    is not packaged

 -- Andreas Tille <email address hidden>  Thu, 16 Apr 2020 15:34:47 +0200

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.0-1.dsc 2.0 KiB 1da8a69115a8234a22aea5f27a18e744fc0abc5b59205cd6088155296d2d1b19
maude_3.0.orig.tar.gz 2.1 MiB aacc2046b51fe362f892e3604188378ecc613386c7d497a74e519ac9341d166e
maude_3.0-1.debian.tar.xz 6.2 KiB 6f43d18d237b35a3182c9eb74ef59adad096752374f3f53427dfa3ad92c3cf3a

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.