astronomy
|
refactor to use autoreconfHook where possible
|
2016-01-18 10:45:31 +01:00 |
geometry
|
drgeo: reimplement using mkDerivation
|
2015-11-24 14:45:15 +01:00 |
logic
|
coq_8_5: 8.5rc1 -> 8.5
|
2016-01-25 12:33:31 -08:00 |
math
|
R: add a new enableStrictBarrier package option.
|
2016-01-17 11:09:05 +01:00 |
misc
|
xlibs: replace occurrences by xorg
|
2015-09-15 12:54:34 +02:00 |
programming/plm
|
Revert "Added K Framework package."
|
2015-08-29 15:38:33 +02:00 |
spyder
|
python spyder: 2.3.7 -> 2.3.8
|
2015-12-01 20:23:42 +01:00 |