summary refs log tree commit diff
path: root/pkgs/development/interpreters/acl2/default.nix
Commit message (Expand)AuthorAge
* python,pythonPackages: make aliasesRobert Schütz2022-01-16
* acl2: fix build on darwinMario Rodas2021-11-12
* acl2: Fix typo in cleanup commandsKeshav Kini2021-08-15
* acl2: 8.3 -> 8.4Keshav Kini2021-08-15
* pkgs/development/interpreters: stdenv.lib -> libBen Siraphob2021-01-23
* treewide: simplify rev/repo arguments in srcPavol Rusnak2020-11-01
* treewide: fix redirected urls (run 3)Patrick Hilhorst2020-10-02
* acl2, acl2-minimal: build standard library, initKeshav Kini2020-08-01
* acl2: 8.2 -> 8.3Keshav Kini2020-04-23
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: remove redundant quotesvolth2019-08-26
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* acl2: 8.1 -> 8.2R. RyanTM2019-05-19
* acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a releaseMichael Raskin2018-09-21
* acl2: 8.0 -> 8.0.post.2018.09.20; fixes build with fresher SBCLMichael Raskin2018-09-21
* acl2: 7.4 -> 8.0Ryan Mulligan2018-02-25
* acl2: 6.5 -> 7.4, refactorKeshav Kini2017-11-04
* acl2: use mkDerivationRobin Gloster2016-01-30
* Adopt fix from ewemoa to give more memory to acl2 buildMichael Raskin2014-09-20
* Update ACL2Michael Raskin2014-09-01
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* Add myself as a maintainerMichael Raskin2010-01-21
* Adding ACL2.Michael Raskin2009-08-13
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-09 07:32:07 +0000