Stéphan Kochen 873996595c acl2: fix darwin build

2021-05-16 14:59:44 -07:00

..

libipasirglucose4

acl2: fix darwin build

2021-05-16 14:59:44 -07:00

0001-Fix-some-paths-for-Nix-build.patch

acl2, acl2-minimal: build standard library, init

2020-08-01 23:38:54 -07:00

0002-Restrict-RDTSC-to-x86.patch

acl2, acl2-minimal: build standard library, init

2020-08-01 23:38:54 -07:00

default.nix

pkgs/development/interpreters: stdenv.lib -> lib

2021-01-23 20:29:03 +07:00