about summary refs log tree commit diff
path: root/pkgs/development/interpreters/acl2
AgeCommit message (Expand)AuthorFilesLines
2023-06-24treewide: use optionalString instead of 'then ""'Felix Buehler1-1/+1
2022-12-02acl2: remove python2 usageSandro Jäckel1-2/+2
2022-10-10treewide: *Flags convert to list from strArtturin1-1/+1
2022-08-14acl2: makeWrapper to nativeBuildInputsRick van Schijndel1-2/+4
2022-07-27acl2: 8.4 -> 8.5Keshav Kini2-119/+22
2022-03-30treewide: use lib.getLib for OpenSSL librariesAlyssa Ross1-3/+3
2022-01-16python,pythonPackages: make aliasesRobert Schütz1-2/+2
2021-11-12acl2: fix build on darwinMario Rodas2-5/+6
2021-08-15acl2: Fix typo in cleanup commandsKeshav Kini1-1/+1
2021-08-15acl2: 8.3 -> 8.4Keshav Kini4-146/+86
2021-05-16acl2: fix darwin buildStéphan Kochen1-3/+11
2021-01-23pkgs/development/interpreters: stdenv.lib -> libBen Siraphob2-7/+7
2020-11-01treewide: simplify rev/repo arguments in srcPavol Rusnak1-1/+1
2020-10-02treewide: fix redirected urls (run 3)Patrick Hilhorst1-2/+2
2020-08-01acl2, acl2-minimal: build standard library, initKeshav Kini5-50/+410
2020-04-23acl2: 8.2 -> 8.3Keshav Kini1-4/+5
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2019-08-26treewide: remove redundant quotesvolth1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-05-19acl2: 8.1 -> 8.2R. RyanTM1-3/+3
2018-09-21acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a releaseMichael Raskin1-3/+3
2018-09-21acl2: 8.0 -> 8.0.post.2018.09.20; fixes build with fresher SBCLMichael Raskin1-2/+7
2018-02-25acl2: 7.4 -> 8.0Ryan Mulligan1-2/+2
2017-11-04acl2: 6.5 -> 7.4, refactorKeshav Kini1-13/+50
2016-01-30acl2: use mkDerivationRobin Gloster1-30/+20
2014-09-20Adopt fix from ewemoa to give more memory to acl2 buildMichael Raskin1-2/+2
2014-09-01Update ACL2Michael Raskin1-2/+2
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra1-1/+1
2010-01-21Add myself as a maintainerMichael Raskin1-1/+5
2009-08-13Adding ACL2.Michael Raskin1-0/+41
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 05:59:39 +0000