about summary refs log tree commit diff
path: root/pkgs/development/interpreters/maude
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-02-22maude: unbreakArtur Cygan1-1/+0
2023-05-10tamarin-prover: allow maude 3.1.1sternenseemann1-0/+7
2023-04-30maude: remove Full Maude from releasephantamanta441-9/+0
2023-04-21maude: try what happens when we re-enable parallel buildingPeter Simons1-4/+1
2023-04-21maude: update from version 3.3 to 3.3.1Peter Simons1-2/+2
2023-04-03maude: 3.1 -> 3.3phantamanta441-6/+10
2022-08-16treewide: makeWrapper buildInputs to nativeBuildInputsArtturin1-2/+2
2022-05-30treewide: pkgs/development: mark broken for darwinRick van Schijndel1-0/+1
2022-02-27maude: fix build w/glibc-2.34Maximilian Bosch1-0/+4
2021-02-20treewide: unzip buildInputs to nativeBuildInputs (#112302)Ben Siraphob1-1/+2
2021-01-23pkgs/development/interpreters: stdenv.lib -> libBen Siraphob1-5/+5
2021-01-19maude: 3.0 -> 3.1bitmappergit1-6/+6
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-01-31maude: update from version 2.7.1 to 3.0 (including full-maude)Peter Simons1-11/+10
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-17treewide: name -> pnamevolth1-1/+2
2018-11-13flex_2_5_35: replace with flex 2.6.4 in coprthr, gradm, maude, scotchOrivej Desh1-0/+5
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2017-07-05maude: set available on all Unix platformsVincent Laporte1-1/+1
2017-05-26maude: disable CVC4 support to fix the buildPeter Simons1-2/+3
2016-12-29maude: update to 2.7.1Peter Simons1-10/+14
2016-12-22maude: update to version 2.7Peter Simons1-13/+20
2016-08-24maude: disable pic and fortify hardening on i686Robin Gloster1-1/+2
2016-08-03Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster1-1/+1
2016-08-02treewide: Lots of meta.hydraPlatforms -> meta.platformsTuomas Tynkkynen1-1/+1
2016-05-31maude: disable stackprotector hardeningRobin Gloster1-0/+2
2016-05-16Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons1-1/+1
2014-08-24Fix many package descriptionsBjørn Forsman1-1/+1
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk1-1/+1
2014-06-04maude: update full-maude to version 2.6.1hPeter Simons1-4/+4
2014-06-01maude: update full-maude to version 2.6.1ePeter Simons1-4/+4
2014-01-13maude: cosmeticPeter Simons1-4/+9
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra1-1/+1
2011-02-11pkgs/development/interpreters/maude: updated to version 2.6Peter Simons1-8/+6
2011-01-26pkgs/development/interpreters/maude: added proper quoting for the shell patte...Peter Simons1-1/+1
2010-10-05pkgs/development/interpreters/maude: don't run the test suite on Darwin; it's...Peter Simons1-1/+3
2010-08-26pkgs/development/interpreters/maude: updated to version 2.5Peter Simons1-16/+16
2010-05-09Moved 'maintainers' attribute into the meta section of the expression.Peter Simons1-7/+7
2010-04-12pkgs/development/interpreters/maude: added myself as a maintainerPeter Simons1-8/+10
2010-01-19svn path=/nixpkgs/branches/stdenv-updates/; revision=19546Eelco Dolstra1-0/+8
2009-07-03Maude needs libgmpxx.Peter Simons1-2/+2
2009-04-29* Urgh. Some files that had been deleted in the trunk came backEelco Dolstra1-37/+0
2009-03-16* Sync with the trunk.Eelco Dolstra1-1/+1
2009-02-17Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainersPeter Simons1-1/+1
2008-12-10* Merged from the trunk. Let's see how well this works withEelco Dolstra1-10/+15
2008-11-14Finalized maude 2.4 release.Peter Simons1-8/+7
2008-11-13Updated maude to 2.4 release.Peter Simons2-47/+15
2008-11-07maudeUnstable: updated to alpha91dPeter Simons1-3/+3
2008-10-09maudeUnstable: updated full-maude to latest alpha releasePeter Simons1-5/+6
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-16 09:14:52 +0000