public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
c7a5edcb7c071d5f06f383ed241fcf750a776767
nixpkgs/pkgs/development
History
Alexander Ried 3beacc4dbe fstar: remove workaround (#18331) 
As the comment indicates this was a workaround that has since been fixed
upstream.
2016-09-06 00:09:11 +02:00
..
arduino
arduino: only build on linux
2016-08-10 22:29:58 -05:00
beam-modules
build-rebar3: Append postPatch to original hook
2016-08-29 23:31:50 +02:00
bower-modules/generic
…
compilers
fstar: remove workaround (#18331)
2016-09-06 00:09:11 +02:00
coq-modules
…
dotnet-modules/patches
…
eclipse
…
em-modules/generic
adds support to build emscripten packages using nix:
2016-07-04 12:02:37 +02:00
go-modules
go: Split output order to match new convention
2016-08-31 13:55:40 +03:00
guile-modules
treewide: Add lots of meta.platforms
2016-08-02 21:42:43 +03:00
haskell-modules
hackage-packages.nix: update Haskell package set
2016-09-05 20:17:41 +02:00
idris-modules
…
interpreters
pypy27: 5.3.1 -> 5.4.0
2016-09-03 11:42:55 +02:00
libraries
openssl-chacha: 2016-01-27 -> 2016-08-22
2016-09-05 22:50:57 +02:00
lisp-modules
treewide: fixup various mysql ocurrences after re-split
2016-08-07 20:46:37 +02:00
lua-modules
…
misc
…
mobile
adb-sync: init at 2016-08-31
2016-09-02 16:44:41 +02:00
node-packages
nodePackages: add svgo
2016-09-02 13:01:51 +00:00
ocaml-modules
ocamlPackages.menhir: remove unnecessary substitution
2016-08-29 01:28:15 +00:00
perl-modules
DBD::SQLite: 1.48 -> 1.50
2016-09-05 13:45:59 +02:00
pharo
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-07-21 00:56:43 +00:00
pure-modules
treewide: fixup various mysql ocurrences after re-split
2016-08-07 20:46:37 +02:00
python-modules
pygtk: fix broken symlink
2016-09-04 09:42:23 +02:00
qtcreator
…
r-modules
treewide: Add lots of platforms to packages with no meta
2016-08-02 21:17:44 +03:00
ruby-modules
Merge pull request #16276 from manveru/gemconfig-rbnacl
2016-09-05 01:11:57 +02:00
tools
bsdbuild: init at 3.1 (#18069)
2016-09-05 23:28:42 +02:00
web
remarkjs: use node2nix generated expressions
2016-09-02 13:02:37 +00:00