maude_2.7-2+b2_amd64.deb


Advertisement

Description

maude - high-performance logical framework

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename maude_2.7-2+b2_amd64.deb
Package name maude
Package version 2.7
Package release 2+b2
Package architecture amd64
Package type deb
Category science uitoolkit::ncurses
Homepage http://maude.cs.uiuc.edu
License -
Maintainer Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Download size 802.12 KB
Installed size 2.41 MB

Alternatives

Package Version Architecture Repository
maude_2.7-2+b2_i386.deb 2.7 i386 Debian Main
maude - - -

Requires

Name Value
libbdd0c2 -
libc6 >= 2.16
libgcc1 >= 1:3.0
libgmp10 -
libgmpxx4ldbl -
libncurses6 >= 6
libsigsegv2 >= 2.9
libstdc++6 >= 5.2
libtecla1 -
libtinfo6 >= 6

Download

Type URL
Mirror ftp.br.debian.org
Binary Package maude_2.7-2+b2_amd64.deb
Source Package maude

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install maude deb package:
    # sudo apt-get install maude

Files

Path
/usr/bin/maude
/usr/share/doc/maude/changelog.Debian.amd64.gz
/usr/share/doc/maude/changelog.Debian.gz
/usr/share/doc/maude/changelog.gz
/usr/share/doc/maude/copyright
/usr/share/man/man1/maude.1.gz
/usr/share/maude/linear.maude
/usr/share/maude/machine-int.maude
/usr/share/maude/metaInterpreter.maude
/usr/share/maude/model-checker.maude
/usr/share/maude/prelude.maude
/usr/share/maude/socket.maude
/usr/share/maude/term-order.maude

Changelog

2016-04-05 - Andreas Tille <tille@debian.org>
maude (2.7-2) unstable; urgency=medium
[ Andreas Tille ]
* Moved packaging from SVN to Git
* cme fix dpkg-control
[ Alexis Bienvenüe]
* Strip build date from banner to get reproducible build.
Closes: #819948
2015-12-16 - Andreas Tille <tille@debian.org>
maude (2.7-1) unstable; urgency=medium
* New upstream version
Closes: #790260
2014-10-02 - Andreas Tille <tille@debian.org>
maude (2.6-6) unstable; urgency=medium
* Fix Build-Dependency after renamed libtecla-dev
Closes: #763694
* cme fix dpkg-control
2014-05-20 - Andreas Tille <tille@debian.org>
maude (2.6-5) unstable; urgency=medium
* move debian/upstream to debian/upstream/metadata
* Three helpful pathces provided by Jakub Wilk to deal with bison
problems - many thanks to Jakub!
Closes: #733407
* cme fix dpkg-control
2013-10-24 - Andreas Tille <tille@debian.org>
maude (2.6-4) unstable; urgency=low
* debian/rules: dh --with autotools_dev
Closes: #727454
2013-07-09 - Andreas Tille <tille@debian.org>
maude (2.6-3) unstable; urgency=low
* renamed debian/upstream-metadata.yaml to debian/upstream
* debian/copyright: cme fix dpkg-copyright
* debian/control:
- cme fix dpkg-control
- debhelper 9
- drop cdbs, quilt from Build-Depends
- Use anonscm in Vcs fields
* debian/rules:
- use short dh instead of cdbs
- fix clean target
2011-11-04 - Andreas Tille <tille@debian.org>
maude (2.6-2) unstable; urgency=low
* Rebuilded after cleaning up
Closes: #643212
* Added myself to Uploaders
* Follow hint of ftpmaster to fix clean target and clean up
src/Mixfix/surface.output
* debian/control:
- Standards-Version: 3.9.2 (no changes needed)
- Fixed Vcs fields
- Drop article 'A' from start of short description
* Debhelper 8 (control+compat)
* debian/copyright: DEP5 compatibility
* debian/upstream-metadata.yaml: citing information
2011-02-10 - Scott Christley <schristley@mac.com>
maude (2.6-1) unstable; urgency=low
* Initial Release. (closes: #611927)

See Also

Package Description
mauve-aligner_2.4.0+4736-2_amd64.deb multiple genome alignment
mauve_20161030-1_all.deb free test suite for the Java Class libraries
maven-ant-helper_8.5_all.deb helper scripts for building Maven components with ant
maven-cache-cleanup_1.0.4-1_all.deb Utility to purge timestamped snapshots from Maven repositories
maven-debian-helper_2.3.2_all.deb Helper tools for building Debian packages with Maven
maven-repo-helper_1.9.3_all.deb Helper tools for including Maven metadata in Debian packages
maven_3.6.0-1_all.deb Java software project management and comprehension tool
mawk_1.3.3-17+b3_amd64.deb a pattern scanning and text processing language
maxima-doc_5.42.1-1_all.deb Computer algebra system -- documentation
maxima-emacs_5.42.1-1_all.deb Computer algebra system -- emacs interface
maxima-sage-doc_5.41.0+ds-4_all.deb Computer algebra system -- documentation
maxima-sage-share_5.41.0+ds-4_all.deb Computer algebra system -- extra code
maxima-sage_5.41.0+ds-4_amd64.deb Computer algebra system -- base system
maxima-share_5.42.1-1_all.deb Computer algebra system -- extra code
maxima-src_5.42.1-1_all.deb Computer algebra system -- source code
Advertisement
Advertisement