applications
|
Why3: build also the Coq tactic.
|
2015-01-29 08:43:15 +01:00 |
data
|
zeal: new package
|
2015-01-28 00:02:50 +01:00 |
desktops
|
kf56, plasma52: use ordinary stdenv
|
2015-01-28 08:40:27 -06:00 |
games
|
Remove executable bits from non-executable files
|
2015-01-27 18:54:38 +01:00 |
misc
|
orion: add GTK3 theme
|
2015-01-26 20:59:51 -06:00 |
os-specific
|
zd1211fw: update from 1.4 to 1.5
|
2015-01-29 23:54:01 +11:00 |
shells
|
MKSH (version R50d): New Package
|
2015-01-25 22:09:44 -02:00 |
stdenv
|
stdenv: fix eval - the return
|
2015-01-29 10:54:07 +01:00 |
tools
|
Merge pull request #5967 from k0ral/rmlint
|
2015-01-29 10:48:54 +01:00 |
top-level
|
Merge pull request #5967 from k0ral/rmlint
|
2015-01-29 10:48:54 +01:00 |