Francois-Rene Rideau 90835bc666 Refactor Gerbil support ...

- Use the new Gambit support.
- Move files from $out to $out/gerbil.
- Use new Gerbil configuration and installation scripts.
- Move some fixups from preBuild to postPatch.
- Give up on previous failed attempts at using static libraries.
- Add support for compiling libraries written in Gerbil.
- Build using NIX_BUILD_CORES.
- Register all those things in all-packages.

2020-05-17 15:48:13 -04:00

..

agda-packages.nix

agda-categories: init at 0.1

2020-05-14 20:54:12 +01:00

aliases.nix

rkt: remove

2020-05-16 09:23:07 +10:00

all-packages.nix

Refactor Gerbil support

2020-05-17 15:48:13 -04:00

beam-packages.nix

…

config.nix

…

coq-packages.nix

Coq: refactoring of mathcomp packages (#86088)

2020-05-09 07:47:47 +02:00

darwin-packages.nix

…

default.nix

…

dhall-packages.nix

…

dotnet-packages.nix

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

emacs-packages.nix

emacs-packages: Expose manually packaged packages through emacsPackages.manualPackages

2020-04-27 12:08:13 +01:00

emscripten-packages.nix

…

haskell-packages.nix

ghcHEAD: 20200403 -> 20200505

2020-05-08 21:11:46 +02:00

haxe-packages.nix

…

impure.nix

…

java-packages.nix

…

lua-packages.nix

treewide: Per RFC45, remove all unquoted URLs

2020-04-10 17:54:53 +01:00

make-tarball.nix

nix-daemon.nix: Add option nix.registry

2020-04-02 19:38:00 +02:00

metrics.nix

…

ocaml-packages.nix

ocaml-ng.ocamlPackages_4_11.ocaml: init at 4.11.0+α1

2020-05-16 10:27:00 +02:00

packages-config.nix

Add packages.json to the tarball job

2020-03-24 16:42:00 +01:00

perl-packages.nix

Merge pull request #87595 from aanderse/perl-packages/config-properties

2020-05-12 19:25:48 -04:00

php-packages.nix

Merge pull request #87941 from etu/composer-update

2020-05-16 22:08:11 +02:00

pure-packages.nix

…

python-packages.nix

vdirsyncer: Convert to a python module (#87865)

2020-05-17 10:19:40 +02:00

release-alternatives.nix

blas,lapack: use isILP64 instead of is64bit

2020-04-20 16:02:43 -05:00

release-cross.nix

…

release-lib.nix

…

release-python.nix

…

release-small.nix

blas/lapack: add wrapper for “alternative”s of BLAS/LAPACK provider

2020-04-17 16:23:55 -05:00

release.nix

agda: rework builder

2020-05-14 20:54:11 +01:00

ruby-packages.nix

…

splice.nix

…

stage.nix

…

static.nix

pkgsStatic.python3: fix build

2020-03-30 17:06:38 +02:00

unix-tools.nix

treewide/nixos: use stdenv.cc.libc instead of glibc when available

2020-04-06 16:36:27 -04:00

wine-packages.nix

…