Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-lang
/
maude
High-level specification language for equational and logic programming
https://maude.cs.uiuc.edu/
Overview
Dependencies
QA report
Pull requests
0
Bugs
2
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-01-08
dev-lang/maude: sys-devel/bison -> app-alternatives/yacc
3e35135
Sam James
committed on 2024-01-08 12:24:41 UTC
dev-lang/maude/maude-3.1-r1.ebuild
dev-lang/maude: sys-devel/flex -> app-alternatives/lex
a2c7afb
Sam James
committed on 2024-01-08 12:01:40 UTC
dev-lang/maude/maude-3.1-r1.ebuild
Commits on 2021-11-12
dev-lang/maude: drop 2.7-r1
4aeee4e
Sam James
committed on 2021-11-12 04:28:49 UTC
dev-lang/maude/Manifest
dev-lang/maude/files/maude-2.5.0-prll.patch
dev-lang/maude/files/maude-2.7-bison-parse-param.patch
dev-lang/maude/files/maude-2.7-fix-build-with-gcc11.patch
dev-lang/maude/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
dev-lang/maude/maude-3.1-r1.ebuild
dev-lang/maude/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
dev-lang/maude/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
dev-lang/maude/files/maude-3.1-prll.patch
dev-lang/maude/maude-3.1.ebuild
dev-lang/maude/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
dev-lang/maude/maude-2.7-r1.ebuild
dev-lang/maude/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
dev-lang/maude/files/maude-2.7-fix-build-with-gcc11.patch
dev-lang/maude/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
dev-lang/maude/files/maude-2.7-AR.patch
dev-lang/maude/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
dev-lang/maude/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
dev-lang/maude/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
dev-lang/maude/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
dev-lang/maude/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
dev-lang/maude/Manifest
dev-lang/maude/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
dev-lang/maude/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
dev-lang/maude/files/maude-2.7-bison-parse-param.patch
dev-lang/maude/maude-2.7.ebuild
dev-lang/maude/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
dev-lang/maude/metadata.xml
Replace all herds with appropriate projects (GLEP 67)
cfd93d7
Michał Górny
committed on 2016-01-24 22:58:38 UTC
dev-lang/maude/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
dev-lang/maude/metadata.xml
Use https by default
eaaface
Justin Lecher
committed on 2015-08-24 10:49:19 UTC
dev-lang/maude/maude-2.6-r1.ebuild
dev-lang/maude/metadata.xml
Commits on 2015-08-09
proj/gentoo: Initial commit
56bd759
Robin H. Johnson
committed on 2015-08-09 00:38:18 UTC
dev-lang/maude/Manifest
dev-lang/maude/files/maude-2.5.0-prll.patch
dev-lang/maude/files/maude-2.6-gcc47.patch
dev-lang/maude/files/maude-2.6-search-datadir.patch
dev-lang/maude/maude-2.6-r1.ebuild
dev-lang/maude/metadata.xml