summaryrefslogtreecommitdiffstats
path: root/pkgs/development/interpreters/acl2
AgeCommit message (Expand)Author
2021-01-23pkgs/development/interpreters: stdenv.lib -> libBen Siraphob
2020-11-01treewide: simplify rev/repo arguments in srcPavol Rusnak
2020-10-02treewide: fix redirected urls (run 3)Patrick Hilhorst
2020-08-01acl2, acl2-minimal: build standard library, initKeshav Kini
2020-04-23acl2: 8.2 -> 8.3Keshav Kini
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-08-26treewide: remove redundant quotesvolth
2019-08-15treewide: name -> pname (easy cases) (#66585)volth
2019-05-19acl2: 8.1 -> 8.2R. RyanTM
2018-09-21acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a releaseMichael Raskin
2018-09-21acl2: 8.0 -> 8.0.post.2018.09.20; fixes build with fresher SBCLMichael Raskin
2018-02-25acl2: 7.4 -> 8.0Ryan Mulligan
2017-11-04acl2: 6.5 -> 7.4, refactorKeshav Kini
2016-01-30acl2: use mkDerivationRobin Gloster
2014-09-20Adopt fix from ewemoa to give more memory to acl2 buildMichael Raskin
2014-09-01Update ACL2Michael Raskin
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra
2010-01-21Add myself as a maintainerMichael Raskin
2009-08-13Adding ACL2.Michael Raskin
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-11 06:52:09 +0000