nixpkgs/pkgs
Austin Seipp 453f93cc92 Merge pull request #2514 from jwiegley/coq
Make Coq buildable on any Unix
2014-05-17 14:49:57 -05:00
..
applications Merge pull request #2514 from jwiegley/coq 2014-05-17 14:49:57 -05:00
build-support grsec: refactor grsecurity packages 2014-05-17 14:09:43 -05:00
data Add eb-garamond font (close #2553) 2014-05-13 12:07:50 +02:00
desktops Merge pull request #2375 from lethalman/gnome3 2014-05-13 12:04:11 +02:00
development cryptol: add a convenient clang/lss wrapper 2014-05-17 14:09:09 -05:00
games haskell-MazesOfMonad: remove broken package 2014-05-14 15:02:33 +02:00
misc Merge pull request #2580 from ttuegel/qtcurve 2014-05-13 11:30:50 +02:00
os-specific grsec: refactor grsecurity packages 2014-05-17 14:09:43 -05:00
servers Merge pull request #2518 from jwiegley/nginx 2014-05-17 14:48:27 -05:00
shells ipython: update 1.1.0 -> 2.0.0 2014-04-13 21:55:27 +02:00
stdenv s/config.allowUnfree = true/allowUnfree = true/ 2014-05-03 15:13:01 +02:00
test
tools Merge pull request #2602 from jwiegley/dar 2014-05-17 14:45:04 -05:00
top-level grsec: refactor grsecurity packages 2014-05-17 14:09:43 -05:00