summaryrefslogtreecommitdiffstats
path: root/pkgs/development/interpreters/maude
AgeCommit message (Expand)Author
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-01-31maude: update from version 2.7.1 to 3.0 (including full-maude)Peter Simons
2019-08-28treewide: remove redundant recvolth
2019-08-17treewide: name -> pnamevolth
2018-11-13flex_2_5_35: replace with flex 2.6.4 in coprthr, gradm, maude, scotchOrivej Desh
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger
2017-07-05maude: set available on all Unix platformsVincent Laporte
2017-05-26maude: disable CVC4 support to fix the buildPeter Simons
2016-12-29maude: update to 2.7.1Peter Simons
2016-12-22maude: update to version 2.7Peter Simons
2016-08-24maude: disable pic and fortify hardening on i686Robin Gloster
2016-08-03Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster
2016-08-02treewide: Lots of meta.hydraPlatforms -> meta.platformsTuomas Tynkkynen
2016-05-31maude: disable stackprotector hardeningRobin Gloster
2016-05-16Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons
2014-08-24Fix many package descriptionsBjørn Forsman
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk
2014-06-04maude: update full-maude to version 2.6.1hPeter Simons
2014-06-01maude: update full-maude to version 2.6.1ePeter Simons
2014-01-13maude: cosmeticPeter Simons
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra
2011-02-11pkgs/development/interpreters/maude: updated to version 2.6Peter Simons
2011-01-26pkgs/development/interpreters/maude: added proper quoting for the shell patte...Peter Simons
2010-10-05pkgs/development/interpreters/maude: don't run the test suite on Darwin; it's...Peter Simons
2010-08-26pkgs/development/interpreters/maude: updated to version 2.5Peter Simons
2010-05-09Moved 'maintainers' attribute into the meta section of the expression.Peter Simons
2010-04-12pkgs/development/interpreters/maude: added myself as a maintainerPeter Simons
2010-01-19svn path=/nixpkgs/branches/stdenv-updates/; revision=19546Eelco Dolstra
2009-07-03Maude needs libgmpxx.Peter Simons
2009-04-29* Urgh. Some files that had been deleted in the trunk came backEelco Dolstra
2009-03-16* Sync with the trunk.Eelco Dolstra
2009-02-17Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainersPeter Simons
2008-12-10* Merged from the trunk. Let's see how well this works withEelco Dolstra
2008-11-14Finalized maude 2.4 release.Peter Simons
2008-11-13Updated maude to 2.4 release.Peter Simons
2008-11-07maudeUnstable: updated to alpha91dPeter Simons
2008-10-09maudeUnstable: updated full-maude to latest alpha releasePeter Simons
2008-09-25maude: update unstable version to 2.4 alpha 91cPeter Simons
2008-09-19maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now.Peter Simons
2008-07-18Cosmetic, no functional change intended.Peter Simons
2008-07-18maude: build of unstable beta version because it has less bugs in full-maudePeter Simons
2008-07-18added maude beta versionPeter Simons
2008-07-15maude, tecla, buddy: new packagesPeter Simons
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-30 06:20:05 +0000