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 #29859 from pvgoran/fix-gmsh
Orivej Desh
2017-10-01
|
\
|
*
gmsh: 2.12.0 -> 3.0.5
Pavel Goran
2017-10-01
*
|
Merge pull request #29947 from symphorien/giac
Orivej Desh
2017-09-30
|
\
\
|
*
|
giac: refactor
Orivej Desh
2017-09-30
|
*
|
xcas, giac: add myself as maintainer
Symphorien Gibol
2017-09-30
|
*
|
giac, xcas: init at 1.4.9
Symphorien Gibol
2017-09-30
*
|
|
treewide: mark a bunch of failing builds as broken
Robin Gloster
2017-10-01
*
|
|
gplates: mark as broken
Franz Pletz
2017-09-30
*
|
|
openmodelica: mark as broken, unmaintained
Franz Pletz
2017-09-30
*
|
|
R: update to version 3.4.2
Peter Simons
2017-09-29
*
|
|
kicad: don't try to build on hydra
Franz Pletz
2017-09-29
*
|
|
clp: init at 1.16.11
Vincent Laporte
2017-09-28
*
|
|
freebayes: clean up build
Robin Gloster
2017-09-28
*
|
|
freebayes: 1.1.0 -> 2017-08-23
Samuel Leathers
2017-09-28
|
/
/
*
/
caffe: Make 'bin' the first output
Tuomas Tynkkynen
2017-09-27
|
/
*
mxnet: disable GPU autodetection
Nikolay Amiantov
2017-09-25
*
singular: use gcc5
Michael Raskin
2017-09-23
*
calc: 2.12.6.1 -> 2.12.6.3
mimadrid
2017-09-23
*
darwin: Disable yet another bunch of packages never having built successfully
Tuomas Tynkkynen
2017-09-22
*
darwin: Disable another bunch of packages never having built successfully
Tuomas Tynkkynen
2017-09-22
*
abella: fix build with OCaml ≥ 4.03
Vincent Laporte
2017-09-22
*
Merge pull request #29538 from bcdarwin/update-and-fix-ANTS
Joachim F
2017-09-21
|
\
|
*
ants: bump version and fix sandboxed build
Ben Darwin
2017-09-20
*
|
mxnet: init at 0.11.0
Nikolay Amiantov
2017-09-16
*
|
Revert "mcrl2: force use of gcc5 to prevent compilation errors"
Franz Pletz
2017-09-15
*
|
lean: 3.2.0 -> 3.3.0
Gabriel Ebner
2017-09-15
*
|
proverif: 1.95 -> 1.97pl1
Vincent Laporte
2017-09-13
*
|
qfsm: fix build with gcc 6 (#29245)
timor
2017-09-11
*
|
eagle: 7.5 -> 7.7
Bjørn Forsman
2017-09-11
*
|
mcrl2: force use of gcc5 to prevent compilation errors
Maarten Hoogendoorn
2017-09-10
*
|
kicad: 4.0.6 -> 4.0.7
Bjørn Forsman
2017-09-09
*
|
kicad: put the full version string in name
Bjørn Forsman
2017-09-09
|
/
*
mcrl2: 201409 -> 201707
Markus Mueller
2017-09-08
*
caffe: add Python support
Nikolay Amiantov
2017-09-07
*
caffe: 2015-07-02 -> 1.0-rc5
Nikolay Amiantov
2017-09-07
*
coq_8_7: init at 8.7+beta1
Théo Zimmermann
2017-09-06
*
coq: fetch source from GitHub
Théo Zimmermann
2017-09-06
*
Merge pull request #28948 from disassembler/qucs
Michael Raskin
2017-09-06
|
\
|
*
qucs: 0.0.18 -> 0.0.19
Samuel Leathers
2017-09-03
|
*
adms: init at 2.3.6
Samuel Leathers
2017-09-03
*
|
bwa: 0.7.15 -> 0.7.16a
Robin Gloster
2017-09-05
*
|
eprover: 1.9.1 -> 2.0
Gabriel Ebner
2017-09-05
*
|
neuron: 7.4 -> 7.5
Samuel Leathers
2017-09-02
|
/
*
z3_opt: remove and replace with z3
Austin Seipp
2017-09-02
*
yices: now under GPLv3
Austin Seipp
2017-09-02
*
iverilog: 2016.05.21 -> 2017.08.12
Austin Seipp
2017-09-02
*
caneda: fix build with gcc6
Samuel Leathers
2017-08-31
*
Merge pull request #28801 from veprbl/sherpa_2_2_4
Jörg Thalheim
2017-08-31
|
\
|
*
sherpa: 2.2.1 -> 2.2.4
Dmitry Kalinkin
2017-08-31
*
|
Merge pull request #28756 from disassembler/pulseview-sigrok
Jörg Thalheim
2017-08-31
|
\
\
[next]