cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/interpreters
History
Keshav Kini 9a32d3d136 acl2, acl2-minimal: build standard library, init 
Before this commit, we only built the main ACL2 executable.  Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.

There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.

Future work: modularize the build so that we can support multiple
different subsets of the standard library.  A lot of the stuff in this
complete build is probably superfluous to almost all users.  Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it.  So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-08-01 23:38:54 -07:00
..
acl2 acl2, acl2-minimal: build standard library, init 2020-08-01 23:38:54 -07:00
angelscript
bats bats: fixup readlink reference 2020-05-02 11:46:37 +02:00
ceptre treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
chibi treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
clips treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
clisp treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
clojure clojure: 1.10.547 -> 1.10.590 2020-07-27 17:17:23 +02:00
clojurescript/lumo lumo 1.10.1: fix missing npm dependency 2020-05-04 22:17:10 +02:00
dart dart: 2.7.1 -> 2.7.2 (stable) + 2.8.0-dev.10.0 -> 2.9.0-4.0.dev (dev) 2020-04-28 09:56:30 -03:00
dhall Nixpkgs support for dhall-to-nixpkgs 2020-06-17 15:57:21 +02:00
duktape treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
eff eff: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
elixir elixir: 1.10.3 -> 1.10.4 2020-07-04 20:50:16 +00:00
erlang erlangR23: 23.0.2 -> 23.0.3 2020-07-22 13:18:05 +02:00
evcxr evcxr: 0.5.1 -> 0.5.2 2020-07-26 11:32:41 +02:00
falcon
gauche gauche: fix path to cert file (#90708) 2020-06-19 11:33:06 -04:00
gnu-apl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
groovy groovy: 3.0.0 -> 3.0.2 2020-04-07 12:24:19 -07:00
gtk-server
guile treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
hugs treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
hy hy: 0.18.0 -> 0.19.0 2020-07-26 15:03:25 +00:00
icon-lang treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
io treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
j j: add avxSupport option 2020-05-14 00:51:13 +02:00
janet janet: 1.10.0 -> 1.10.1 2020-07-02 12:23:08 +00:00
jelly jelly: init at 0.1.31 (#82178) 2020-05-04 18:31:03 +05:30
jimtcl
joker buildGoModule packages: editorconfig fixes 2020-07-31 13:58:04 +10:00
jruby jruby: 9.2.11.1 -> 9.2.12.0 2020-07-03 20:04:39 +00:00
jython
kona treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
lfe
lolcode treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
love treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
lua-5 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
luajit luajit_2_0, luajit_2_1: bump to 2020-03-20, GC64 mode switch 2020-04-27 07:42:21 +00:00
lush
maude treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
metamath metamath: 0.181 -> 0.182 2020-05-01 09:22:33 +02:00
micropython
mujs mujs: 1.0.6 -> 1.0.7 2020-05-06 23:22:01 -07:00
nix-exec treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
octave blas,lapack: use isILP64 instead of is64bit 2020-04-20 16:02:43 -05:00
perl perl: 5.30.2 -> 5.30.3 2020-06-04 18:14:24 +02:00
php Merge pull request #92928 from etu/php72-update 2020-07-11 18:27:37 +02:00
picoc treewide: use https for nixos.org and hydra.nixos.org 2020-05-03 22:14:21 -07:00
picolisp picolisp: 19.12 -> 20.6 2020-07-06 04:04:30 +00:00
pixie treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
proglodyte-wasm
pure
pyrex treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
python python37: 3.7.7 -> 3.7.8 2020-07-04 18:13:44 +02:00
qnial treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
quickjs
racket racket: 7.6 -> 7.7 2020-05-03 04:20:00 -05:00
rakudo rakudo: 2020.06 -> 2020.07 2020-07-22 15:04:47 +02:00
rascal treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
rebol treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
red treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
regina
renpy treewide: use ffmpeg_3 explicitly if not wanted otherwise 2020-06-12 11:55:31 -07:00
ruby Revert "Merge pull request #89726 from doronbehar/ruby-gcc-ref" 2020-06-11 12:05:14 -05:00
scheme48 treewide: remove the-kenny from maintainers 2020-05-09 10:28:57 +01:00
scsh treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
self treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
spidermonkey spidermonkey_68: 68.7.0 -> 68.10.0 2020-07-08 02:53:04 +02:00
supercollider supercollider: 3.10.4 -> 3.11.0 2020-04-13 00:42:34 -07:00
tcl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
tinyscheme treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
unicon-lang treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
wasmer wasmer: 0.16.2 -> 0.17.0 2020-05-12 08:01:43 +00:00
wasmtime wasmtime: 0.18.0 -> 0.19.0 2020-07-22 01:50:56 +02:00