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
*
lean: 2017-01-06 -> 2017-01-14
Gabriel Ebner
2017-01-14
*
Merge pull request #21819 from AtnNn/isabelle
Pascal Wittmann
2017-01-13
|
\
|
*
isabelle: 2016 -> 2016-1
Etienne Laurin
2017-01-11
*
|
Merge pull request #21632 from veprbl/sherpa_fix
Michael Raskin
2017-01-09
|
\
\
|
*
|
sherpa: add useful dependencies
Dmitry Kalinkin
2017-01-07
|
*
|
sherpa: fix sqlite dependency
Dmitry Kalinkin
2017-01-04
*
|
|
Merge branch 'staging'; security /cc #21642
Vladimír Čunát
2017-01-06
|
\
\
\
|
*
|
|
Merge branch 'master' into staging
Daiderd Jordan
2017-01-04
|
|
\
|
|
|
*
|
|
Merge branch 'master' into staging
Daiderd Jordan
2017-01-02
|
|
\
\
\
|
*
|
|
|
root: 6.04.18 -> 6.08.02
Dmitry Kalinkin
2017-01-01
*
|
|
|
|
lean: 2016-12-30 -> 2017-01-06
Gabriel Ebner
2017-01-06
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
haskellPackages.z3: fix #16357
Domen Kožar
2017-01-03
*
|
|
|
maxima: 5.38.1 -> 5.39.0
Michael Raskin
2017-01-02
|
|
/
/
|
/
|
|
*
|
|
fityk: 1.3.0 -> 1.3.1
Pascal Wittmann
2017-01-01
*
|
|
lean: 2016-12-08 -> 2016-12-30
Gabriel Ebner
2016-12-31
|
|
/
|
/
|
*
|
sherpa: init at 2.2.1
Dmitry Kalinkin
2016-12-30
|
/
*
Merge pull request #21221 from rardiol/gplates
Michael Raskin
2016-12-28
|
\
|
*
gplates: init at 2.0.0
Ricardo Ardissone
2016-12-16
*
|
igv: 2.3.77 -> 2.3.89
mimadrid
2016-12-23
*
|
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
John Wiegley
2016-12-22
*
|
freebayes: init at 1.1.0
Jason Daniel Augustine Gilliland
2016-12-22
*
|
stellarium: 0.14.3 -> 0.15.0
ft@zeus
2016-12-21
*
|
coq_8_6: 8.6rc1 -> 8.6
John Wiegley
2016-12-14
*
|
coq_HEAD: Update to the latest commit as of 2016-12-13
John Wiegley
2016-12-13
*
|
coq_8_6: new package, based on Coq 8.6rc1
John Wiegley
2016-12-13
*
|
minisat: Fix build on Darwin
Eelco Dolstra
2016-12-09
*
|
lean: init at 2016-12-08
Gabriel Ebner
2016-12-08
*
|
lean2: 2016-07-05 -> 2016-11-29
Gabriel Ebner
2016-12-08
*
|
pari: 2.9.0 -> 2.9.1
Michael Raskin
2016-12-08
*
|
hol_light: fix build with Camlp5-6.17
Vincent Laporte
2016-11-29
*
|
yarp: 2.3.66.1 -> 2.3.68
Nicolò Balzarotti
2016-11-28
*
|
Merge pull request #20672 from AndersonTorres/pari
Michael Raskin
2016-11-26
|
\
\
|
|
/
|
/
|
|
*
pari/gp: 2.7.6 -> 2.9.0
AndersonTorres
2016-11-24
*
|
[mathematica] 10.0.2 -> 11.0.1
Ole Krüger
2016-11-25
|
/
*
Merge #20264: root: fix environment setup
Vladimír Čunát
2016-11-14
|
\
|
*
root: fix environment setup
Dmitry Kalinkin
2016-10-29
*
|
plink-ng: init at 1.90b3
Justin Bedo
2016-11-14
*
|
coq: Improve emacs buffer handling
Shea Levy
2016-11-13
*
|
nixpkgs: proverif 1.94 -> 1.95
Austin Seipp
2016-11-10
*
|
Merge pull request #20267 from jbedo/master
Frederik Rietdijk
2016-11-09
|
\
\
|
*
|
Fix bcftools installation prefix
Justin Bedo
2016-11-09
*
|
|
z3: 4.4.1 -> 4.5.0
Gabriel Ebner
2016-11-08
|
/
/
*
|
Remove pal2nal
Tim Steinbach
2016-11-03
*
|
paml: 4.2a -> 4.9c
Tim Steinbach
2016-11-03
*
|
coq-8.5: ease the selection of an older (patch level) version
Vincent Laporte
2016-11-02
*
|
coq: build and install the votour utility
Vincent Laporte
2016-11-02
*
|
coq: 8.5pl2 -> 8.5pl3
Vincent Laporte
2016-11-02
*
|
Merge pull request #19902 from dtzWill/update/yices
vbgl
2016-10-31
|
\
\
|
|
/
|
/
|
|
*
yices: Add darwin to meta.platforms
Will Dietz
2016-10-30
|
*
yices: Build in parallel, run tests, fix test shebang.
Will Dietz
2016-10-26
[next]