Packages

Get Gentoo!

dev-lang/

maude

High-level specification language for equational and logic programming

https://maude.cs.uiuc.edu/

Latest Commits

Commits on 2021-11-12
- dev-lang/maude: drop 2.7-r1
  4aeee4e
  
  Sam James committed on 2021-11-12 04:28:49 UTC
  
  Manifest files/maude-2.5.0-prll.patch files/maude-2.7-bison-parse-param.patch files/maude-2.7-fix-build-with-gcc11.patch maude-2.7-r1.ebuild
- dev-lang/maude: disable libsigsegv support (fixes glibc-2.34 build)
  f021cc6
  
  Sam James committed on 2021-11-12 04:28:48 UTC
  
  maude-3.1-r1.ebuild maude-3.1.ebuild
Commits on 2021-09-11
- **/metadata.xml: Replace http by https in DOCTYPE element
  38b155f
  
  Ulrich Müller committed on 2021-09-11 13:22:48 UTC
  
  metadata.xml
Commits on 2021-07-21
- dev-lang/maude: add 3.1
  b6357d2
  
  Marek Szuba committed on 2021-07-21 15:39:02 UTC
  
  files/maude-3.1-prll.patch maude-3.1.ebuild Manifest
Commits on 2021-06-18
- dev-lang/maude: Depend on dev-libs/gmp[cxx(+)]
  debbda5
  
  David Seifert committed on 2021-06-18 13:15:06 UTC
  
  maude-2.7-r1.ebuild maude-2.7.ebuild
Commits on 2021-06-15
- dev-lang/maude: fix build with GCC 11
  19c0430
  
  Sam James committed on 2021-06-15 03:15:11 UTC
  
  files/maude-2.7-fix-build-with-gcc11.patch maude-2.7.ebuild
Commits on 2020-11-16
- dev-lang/maude: respect AR
  2bd9aac
  
  Jakov Smolic authored and David Seifert committed on 2020-11-16 23:21:15 UTC
  
  files/maude-2.7-AR.patch maude-2.7.ebuild
Commits on 2017-12-09
- dev-lang/*: Update Manifest hashes
  5abd430
  
  Michał Górny committed on 2017-12-09 17:19:32 UTC
  
  Manifest
Commits on 2017-11-26
- dev-lang/maude: [QA] Consistent whitespace in metadata.xml
  194ec40
  
  David Seifert committed on 2017-11-26 11:24:59 UTC
  
  metadata.xml
Commits on 2017-08-13
- dev-lang/maude: remove unused patch
  788ad81
  
  Michael Mair-Keimberger (asterix) authored and David Seifert committed on 2017-08-13 11:24:22 UTC
  
  files/maude-2.6-gcc47.patch
Commits on 2017-02-28
- Drop $Id$ per council decision in bug #611234.
  61b861a
  
  Robin H. Johnson committed on 2017-02-28 19:50:50 UTC
  
  maude-2.7.ebuild
Commits on 2016-10-08
- dev-lang/maude: Remove old ebuild
  0f50be6
  
  David Seifert committed on 2016-10-08 12:12:56 UTC
  
  Manifest maude-2.6-r1.ebuild
Commits on 2016-10-07
- dev-lang/maude: Add USE="cxx" dep for dev-lang/maude-2.7
  bdf1aa9
  
  David Seifert committed on 2016-10-07 22:37:05 UTC
  
  maude-2.7.ebuild
Commits on 2016-02-11
- dev-lang/maude: Version bump to 2.7
  026f729
  
  David Seifert committed on 2016-02-11 20:04:45 UTC
  
  files/maude-2.7-bison-parse-param.patch maude-2.7.ebuild Manifest
Commits on 2016-01-24
- Set appropriate maintainer types in metadata.xml (GLEP 67)
  8849b09
  
  Michał Górny committed on 2016-01-24 22:58:38 UTC
  
  metadata.xml
- Replace all herds with appropriate projects (GLEP 67)
  cfd93d7
  
  Michał Górny committed on 2016-01-24 22:58:38 UTC
  
  metadata.xml
Commits on 2015-08-24
- Revert DOCTYPE SYSTEM https changes in metadata.xml
  1bfb585
  
  Mike Gilbert committed on 2015-08-24 20:30:34 UTC
  
  metadata.xml
- Use https by default
  eaaface
  
  Justin Lecher committed on 2015-08-24 10:49:19 UTC
  
  maude-2.6-r1.ebuild metadata.xml
Commits on 2015-08-09
- proj/gentoo: Initial commit
  56bd759
  
  Robin H. Johnson committed on 2015-08-09 00:38:18 UTC
  
  Manifest files/maude-2.5.0-prll.patch files/maude-2.6-gcc47.patch files/maude-2.6-search-datadir.patch maude-2.6-r1.ebuild metadata.xml