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 |
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 |
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 |