summary refs log tree commit diff
path: root/pkgs/development/interpreters/maude/default.nix
Commit message (Expand)AuthorAge
* tamarin-prover: allow maude 3.1.1sternenseemann2023-05-10
* maude: remove Full Maude from releasephantamanta442023-04-30
* maude: try what happens when we re-enable parallel buildingPeter Simons2023-04-21
* maude: update from version 3.3 to 3.3.1Peter Simons2023-04-21
* maude: 3.1 -> 3.3phantamanta442023-04-03
* treewide: makeWrapper buildInputs to nativeBuildInputsArtturin2022-08-16
* treewide: pkgs/development: mark broken for darwinRick van Schijndel2022-05-30
* maude: fix build w/glibc-2.34Maximilian Bosch2022-02-27
* treewide: unzip buildInputs to nativeBuildInputs (#112302)Ben Siraphob2021-02-20
* pkgs/development/interpreters: stdenv.lib -> libBen Siraphob2021-01-23
* maude: 3.0 -> 3.1bitmappergit2021-01-19
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* maude: update from version 2.7.1 to 3.0 (including full-maude)Peter Simons2020-01-31
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pnamevolth2019-08-17
* flex_2_5_35: replace with flex 2.6.4 in coprthr, gradm, maude, scotchOrivej Desh2018-11-13
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* maude: set available on all Unix platformsVincent Laporte2017-07-05
* maude: disable CVC4 support to fix the buildPeter Simons2017-05-26
* maude: update to 2.7.1Peter Simons2016-12-29
* maude: update to version 2.7Peter Simons2016-12-22
* maude: disable pic and fortify hardening on i686Robin Gloster2016-08-24
* Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster2016-08-03
|\
| * treewide: Lots of meta.hydraPlatforms -> meta.platformsTuomas Tynkkynen2016-08-02
* | maude: disable stackprotector hardeningRobin Gloster2016-05-31
|/
* Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons2016-05-16
* Fix many package descriptionsBjørn Forsman2014-08-24
* Turn some license strings into lib.licenses valuesMateusz Kowalczyk2014-07-28
* maude: update full-maude to version 2.6.1hPeter Simons2014-06-04
* maude: update full-maude to version 2.6.1ePeter Simons2014-06-01
* maude: cosmeticPeter Simons2014-01-13
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* pkgs/development/interpreters/maude: updated to version 2.6Peter Simons2011-02-11
* pkgs/development/interpreters/maude: added proper quoting for the shell patte...Peter Simons2011-01-26
* pkgs/development/interpreters/maude: don't run the test suite on Darwin; it's...Peter Simons2010-10-05
* pkgs/development/interpreters/maude: updated to version 2.5Peter Simons2010-08-26
* Moved 'maintainers' attribute into the meta section of the expression.Peter Simons2010-05-09
* pkgs/development/interpreters/maude: added myself as a maintainerPeter Simons2010-04-12
* svn path=/nixpkgs/branches/stdenv-updates/; revision=19546Eelco Dolstra2010-01-19
* Maude needs libgmpxx.Peter Simons2009-07-03
* Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainersPeter Simons2009-02-17
* Finalized maude 2.4 release.Peter Simons2008-11-14
* Updated maude to 2.4 release.Peter Simons2008-11-13
* Cosmetic, no functional change intended.Peter Simons2008-07-18
* maude, tecla, buddy: new packagesPeter Simons2008-07-15
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-06 14:59:15 +0000