nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-02 07:31:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
ea07ad6bd9
nixpkgs/pkgs/development/libraries/arb
History
Michael Raskin 5bdd22bf4e arb-git: init at 2.9.0pre20161013. This ARB version is less annoying to use with FLINT
2016-10-26 11:06:41 +02:00
..
default.nix
git.nix arb-git: init at 2.9.0pre20161013. This ARB version is less annoying to use with FLINT 2016-10-26 11:06:41 +02:00