Ben Siraphob 001c0cbe54 pkgs/development/interpreters: stdenv.lib -> lib

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

..

libipasirglucose4

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

2021-01-23 20:29:03 +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