index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Commit message (
Expand
)
Author
Age
*
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
*
Merge pull request #8296 from vbgl/ocamlp4
vbgl
2015-06-25
|
\
|
*
coq-8.3: fix (needs make 3)
Vincent Laporte
2015-06-25
|
*
acgtk: fix build with OCaml 4.02
Vincent Laporte
2015-06-25
|
*
fix glsurf
Vincent Laporte
2015-06-25
*
|
E prover: do not build the manual
Vincent Laporte
2015-06-25
|
/
*
fityk: update 1.2.9 to 1.3.0
Pascal Wittmann
2015-06-24
*
hol: k.8 -> k.10, closes #8477
laMudri
2015-06-24
*
eagle 6.5.0 -> 6.6.0
Tobias Geerinckx-Rice
2015-06-22
*
Isabelle: fix download URL
Vincent Laporte
2015-06-21
*
nixpkgs: saw-tools 0.1-20150609
Austin Seipp
2015-06-18
[next]