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
...
*
|
|
|
eprover: 2.0 -> 2.1
Gabriel Ebner
2018-07-05
*
|
|
|
vampire: init at 4.2.2
Gabriel Ebner
2018-07-05
*
|
|
|
stellarium: 0.18.0 -> 0.18.1 (#42949)
R. RyanTM
2018-07-05
*
|
|
|
Merge pull request #43026 from r-ryantm/auto-update/clingo
Michael Raskin
2018-07-04
|
\
\
\
\
|
*
|
|
|
clingo: 5.2.2 -> 5.3.0
R. RyanTM
2018-07-04
|
|
/
/
/
*
|
|
|
Merge pull request #42897 from fragamus/master
Silvan Mosberger
2018-07-04
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
bliss: init at 0.73
Michael Gough
2018-07-04
*
|
|
|
pythonPackages.backports_shutil_get_terminal_size: 1.0 -> 2016-02-21 (#42840)
Timo Kaufmann
2018-07-02
*
|
|
|
Merge pull request #42843 from fragamus/master
Sarah Brofeldt
2018-07-02
|
\
|
|
|
|
*
|
|
hmetis: init at 1.5
Michael Gough
2018-07-01
*
|
|
|
R: update to version 3.5.1
Peter Simons
2018-07-02
|
/
/
/
*
|
|
Merge pull request #39981 from timokau/sage-on-nixos
Michael Raskin
2018-07-01
|
\
\
\
|
*
|
|
sage: replace JUPYTER_PATH patch by upstream patch
Timo Kaufmann
2018-06-30
|
*
|
|
sage, arb: update sage dependencies arb and pynac
Timo Kaufmann
2018-06-30
|
*
|
|
sage: 8.1 -> 8.2, use system packages
Timo Kaufmann
2018-06-30
|
*
|
|
symmetrica: add patches
Timo Kaufmann
2018-06-30
*
|
|
|
librepcb-unstable: 2017-12-29 -> 2018-06-28 (#42786)
Luz
2018-06-30
*
|
|
|
treewide: http -> https
Ryan Mulligan
2018-06-29
|
/
/
/
*
|
|
coq_8_8: 8.8.0 -> 8.8.1
Théo Zimmermann
2018-06-29
*
|
|
Merge pull request #42590 from TimPut/openmvsbuildfix
Matthew Bauer
2018-06-28
|
\
\
\
|
*
|
|
openmvs: fix CGAL 4.12 dependency
tim put
2018-06-26
|
|
/
/
*
|
|
Merge pull request #41929 from smaret/gildas
Matthew Bauer
2018-06-28
|
\
\
\
|
*
|
|
gildas: use internal LAPACK instead of OpenBLAS
Sebastien Maret
2018-06-26
|
*
|
|
gildas: use the standard installPhase
Sebastien Maret
2018-06-26
|
*
|
|
gildas: init at 201806_a
Sebastien Maret
2018-06-26
*
|
|
|
Merge pull request #42571 from iimog/hmmer
Matthew Bauer
2018-06-28
|
\
\
\
\
|
*
|
|
|
hmmer: init at 3.1b2
Markus Ankenbrand
2018-06-25
|
|
|
/
/
|
|
/
|
|
*
|
|
|
treewide: http -> https sources (#42676)
Silvan Mosberger
2018-06-28
*
|
|
|
treewide: http -> https (#42665)
Ryan Mulligan
2018-06-27
*
|
|
|
gromacs: 2018.1 -> 2018.2 (#42504)
R. RyanTM
2018-06-27
*
|
|
|
pynac: 0.7.21 -> 0.7.22 (#42650)
Timo Kaufmann
2018-06-27
*
|
|
|
palp: restrict platforms to linux (#42651)
Timo Kaufmann
2018-06-27
*
|
|
|
palp: fix runtime error introduced by #28029 (#42633)
Timo Kaufmann
2018-06-27
|
|
/
/
|
/
|
|
*
|
|
openmvg: 1.1 -> 1.3
tim put
2018-06-25
|
/
/
*
|
Merge pull request #42423 from ryantm/repology-problems
xeji
2018-06-24
|
\
\
|
*
|
treewide: http -> https
Ryan Mulligan
2018-06-23
*
|
|
stellarium: 0.16.1 -> 0.18.0 (#42357)
Maximilian Bosch
2018-06-24
*
|
|
gravit: fix eval
Matthew Justin Bauer
2018-06-23
*
|
|
gravit: only build on linux
Matthew Justin Bauer
2018-06-23
|
/
/
*
|
verilator: 3.922 -> 3.924
R. RyanTM
2018-06-19
*
|
picard-tools: 2.18.5 -> 2.18.7 (#41975)
R. RyanTM
2018-06-18
*
|
raxml: 8.2.11 -> 8.2.12 (#41964)
R. RyanTM
2018-06-18
|
/
*
geogebra: 5-0-444-0 -> 5-0-472-0 (#41990)
Maximilian Bosch
2018-06-17
*
ngspice: Fix regression due to missing X libs (#41890)
spacefrogg
2018-06-13
*
xcircuit: init at 3.9.73 (#41891)
spacefrogg
2018-06-13
*
kicad-unstable: 2018-03-10 -> 2018-06-12
Ben Gamari
2018-06-12
*
Merge pull request #41668 from r-ryantm/auto-update/ngspice
Matthew Justin Bauer
2018-06-10
|
\
|
*
ngspice: 27 -> 28
R. RyanTM
2018-06-08
*
|
pynac: 0.7.19 -> 0.7.21 (#41662)
R. RyanTM
2018-06-08
*
|
Merge pull request #41689 from r-ryantm/auto-update/gromacs
Jörg Thalheim
2018-06-08
|
\
\
[prev]
[next]