applications
|
alt-ergo: also supported on Darwin
|
2016-01-04 17:17:44 +01:00 |
build-support
|
fetchgitLocal: make it work in submodules
|
2016-01-04 15:09:00 -08:00 |
data
|
cantarell_fonts: update from 0.0.16 to 0.0.17
|
2016-01-03 20:51:14 +00:00 |
development
|
coq-flocq: 2.5.0 -> 2.5.1
|
2016-01-04 23:37:40 +01:00 |
misc
|
vimPlugins: update 2016-01-04
|
2016-01-04 14:45:05 +03:00 |
servers
|
xorgReplacements: remove this ancient cruft
|
2016-01-04 10:31:58 +01:00 |
shells
|
Merge pull request #12000 from nathan7/nix-auto-run
|
2016-01-03 03:22:50 +03:00 |
tools
|
torbrowser: add missing shebang to wrapper script
|
2016-01-05 18:21:07 +01:00 |