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 pull request #27197 from kquick/master
Michael Raskin
2017-07-08
|
\
|
*
Fix license reference for added libpoly library.
Kevin Quick
2017-07-07
|
*
Update yices to add libpoly/mcsat functionality and add soname target.
Kevin Quick
2017-07-06
|
*
Add poly library for manipulating polynomials.
Kevin Quick
2017-07-06
*
|
acgtk: 1.1 -> 1.3.1
Vincent Laporte
2017-07-08
*
|
hol_light: 2016-07-23 -> 2017-07-06
Vincent Laporte
2017-07-08
|
/
*
R: update to version 3.4.1
Peter Simons
2017-06-30
*
neuron: enable GUI
Shea Levy
2017-06-28
*
geogebra: make `language` configurable
Maximilian Bosch
2017-06-27
*
glsurf: 3.3 -> 3.3.1
Vincent Laporte
2017-06-26
*
Merge pull request #26836 from Ma27/update/geogebra
Joachim F
2017-06-25
|
\
|
*
geogebra: 5-0-361-0 -> 5-0-369-0
Maximilian Bosch
2017-06-25
*
|
Merge pull request #26795 from veprbl/root_6.10.00
Jörg Thalheim
2017-06-25
|
\
\
|
*
|
root: 6.09.02 -> 6.10.00
Dmitry Kalinkin
2017-06-24
*
|
|
python.pkgs.spyder: remove maintainers
Frederik Rietdijk
2017-06-23
*
|
|
boinc: 7.4.42 -> 7.8.0
Franz Pletz
2017-06-20
*
|
|
lean: 3.1.0 -> 3.2.0
Gabriel Ebner
2017-06-18
*
|
|
qt5: remove makeQtWrapper
Thomas Tuegel
2017-06-18
*
|
|
qt5: rename qmakeHook to qmake
Thomas Tuegel
2017-06-18
*
|
|
qt5: use distinct `lib/qt-5.x` prefix for each minor version
Thomas Tuegel
2017-06-18
*
|
|
snpeff: 4.3i -> 4.3p
Justin Bedo
2017-06-13
*
|
|
pymol: set PYTHONPATH in a future way
Jörg Thalheim
2017-06-02
*
|
|
pymol: added Pmw + python version bump
Katona László
2017-06-02
|
|
/
|
/
|
*
|
geogebra: 5-0-355-0 -> 5-0-361-0
Maximilian Bosch
2017-05-30
|
/
*
msieve: update and enable on Darwin
Dan Peebles
2017-05-26
*
ecm: enable on Darwin
Dan Peebles
2017-05-26
*
Merge branch 'master' into staging
Vladimír Čunát
2017-05-24
|
\
|
*
minisat: fix maintainer
Samuel Leathers
2017-05-22
|
*
stp: 2014.01.07 -> 2.2.0
Jörg Thalheim
2017-05-22
|
*
cryptominisat: init at 5.0.1
Jörg Thalheim
2017-05-22
|
*
minisatUnstable: init at 2013-09-25
Jörg Thalheim
2017-05-22
*
|
Merge remote-tracking branch 'upstream/master' into HEAD
Frederik Rietdijk
2017-05-22
|
\
|
|
*
coq: nix-buffer: Inherit variables to PG shell
Shea Levy
2017-05-22
|
*
Merge pull request #25231 from veprbl/root_6.09.02
Jörg Thalheim
2017-05-20
|
|
\
|
|
*
sherpa: fix for llvm 4
Dmitry Kalinkin
2017-05-02
|
|
*
root: 6.08.02 -> 6.09.02
Dmitry Kalinkin
2017-04-26
|
*
|
treewide: s,enableParallelBuild(s),enableParallelBuilding,g
Joachim Fasting
2017-05-20
|
*
|
cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)
marcnnn
2017-05-20
|
*
|
coq: Add emacs buffer setup
Shea Levy
2017-05-20
*
|
|
treewide: fixup packages with RPATH problems
Vladimír Čunát
2017-05-16
|
/
/
*
|
openmvs: init at current master (#25672)
Matthew Daiter
2017-05-12
*
|
Merge pull request #25594 from mimadrid/update/htslib-1.4
Jörg Thalheim
2017-05-11
|
\
\
|
*
|
bcftools: 1.3.1 -> 1.4
mimadrid
2017-05-11
|
*
|
samtools: 1.3.1 -> 1.4
mimadrid
2017-05-07
*
|
|
Merge pull request #25588 from mimadrid/update/weka-3.8.1
Peter Hoeg
2017-05-09
|
\
\
\
|
*
|
|
weka: 3.8.0 -> 3.8.1
mimadrid
2017-05-07
|
|
/
/
*
|
|
openmvg: clarify Git version
mdaiter
2017-05-09
*
|
|
Merge pull request #25590 from mimadrid/update/cytoscape-3.5.1
Frederik Rietdijk
2017-05-09
|
\
\
\
|
*
|
|
cytoscape: 3.4.0 -> 3.5.1
mimadrid
2017-05-07
|
|
/
/
*
|
|
Merge pull request #25480 from mdaiter/openmvg
Michael Raskin
2017-05-05
|
\
\
\
[next]