index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Commit message (
Expand
)
Author
Age
*
fontconfig: split into multiple outputs
Vladimír Čunát
2015-10-05
*
Merge commit staging+systemd into closure-size
Vladimír Čunát
2015-10-03
|
\
|
*
Merge pull request #9917 from FlorentBecker/sage
Peter Simons
2015-09-30
|
|
\
|
|
*
sage: 6.1.1 -> 6.8
Florent Becker
2015-09-22
|
*
|
hol_light: add support for camlp5 > 6.12
Vincent Laporte
2015-09-23
|
*
|
Merge: xlibs and x11 attribute cleanup
Vladimír Čunát
2015-09-23
|
|
\
\
|
|
|
/
|
|
/
|
|
|
*
xlibs: replace occurrences by xorg
Vladimír Čunát
2015-09-15
|
|
*
x11: replace its usage by xlibsWrapper directly
Vladimír Čunát
2015-09-15
|
*
|
metis-prover: init at 2.3
Gabriel Ebner
2015-09-21
|
*
|
perseus: init at 4-beta
Erik Rybakken
2015-09-19
|
*
|
Merge commit 'a6f6c0e' into master.upstream
William A. Kennington III
2015-09-15
|
|
\
\
|
|
|
/
|
|
/
|
|
|
*
mass rewrite of find parameters to cross-platform style
Vladimír Čunát
2015-09-06
|
*
|
all-packages: Use callPackage where possible
Mathnerd314
2015-09-14
|
*
|
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
Marco Maggesi
2015-09-13
|
*
|
coq: Add csdp dependency
Russell O'Connor
2015-09-10
|
*
|
csdp: init at 6.1.1
Russell O'Connor
2015-09-10
|
*
|
Merge pull request #9752 from FRidh/maintainer
Domen Kožar
2015-09-09
|
|
\
\
|
|
*
|
add myself as maintainer
Frederik Rietdijk
2015-09-09
|
*
|
|
nixpkgs/jonprl: minor touchups
Austin Seipp
2015-09-09
|
|
/
/
|
*
/
JonPRL: init at 0.1.0
Brian McKenna
2015-09-09
|
|
/
|
*
Update HOL Light to svn r244.
Marco Maggesi
2015-09-01
|
*
Mark some packages with undownloadable source as broken
Eelco Dolstra
2015-09-01
|
*
root: fix build by -lX11
Vladimír Čunát
2015-09-01
|
*
Merge pull request #9583 from pjones/pkg/geda
Arseniy Seroka
2015-09-01
|
|
\
|
|
*
geda: init at 1.8.2-20130925
Peter Jones
2015-08-31
|
*
|
qalculate-gtk: init at 0.9.7
Gabriel Ebner
2015-08-31
|
|
/
|
*
nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731
Austin Seipp
2015-08-30
|
*
spyder: 2.2.5 -> 2.3.6
Frederik Rietdijk
2015-08-29
|
*
Revert "Added K Framework package."
Peter Simons
2015-08-29
|
*
veriT: 201410 -> 201506
Gabriel Ebner
2015-08-26
|
*
nixpkgs: lean 20150328 -> 20150821
Austin Seipp
2015-08-21
|
*
cbc: Enable on Darwin
Eelco Dolstra
2015-08-19
|
*
Add cbc, a mixed ILP solver
Eelco Dolstra
2015-08-12
|
*
ngspice: rename pkgname (s/ng-spice-rework/ngspice/)
Bjørn Forsman
2015-08-08
|
*
E prover: 1.8 -> 1.9
Michael Raskin
2015-08-08
|
*
Merge pull request #8908 from devhell/boinc
lethalman
2015-07-30
|
|
\
|
|
*
boinc: 7.4.14 -> 7.4.42
devhell
2015-07-28
|
*
|
Merge pull request #8964 from vbgl/ecm
Arseniy Seroka
2015-07-26
|
|
\
\
|
|
*
|
ecm: 6.2.3 -> 6.4.4
Vincent Laporte
2015-07-23
|
*
|
|
openmodelica: Fix runtime PATHs using wrapProgram, fixes #8949
Sergey Mironov
2015-07-23
|
*
|
|
openmodelica: add expression
Sergey Mironov
2015-07-23
|
*
|
|
lp_solve: add the expression
Sergey Mironov
2015-07-23
|
|
/
/
|
*
|
kicad: fix download urls (ZHF)
Luca Bruno
2015-07-22
|
*
|
nixpkgs: verilator 3.872 -> 3.874
Austin Seipp
2015-07-20
|
|
/
|
*
Updating gtkwave 3.3.64 to 3.3.66
Lluís Batlle i Rossell
2015-07-17
|
*
stellarium: build with qt5Full to fix run-time crashes
Peter Simons
2015-07-14
|
*
stellarium: update to version 0.13.3
Peter Simons
2015-07-12
|
*
caffe: init at rev 77d66dfc
William Casarin
2015-07-08
|
*
E prover: switch to the new location
Michael Raskin
2015-07-05
|
*
pari: update 2.7.3 -> 2.7.4
Michael Raskin
2015-07-05
[next]