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
*
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
|
\
\
|
*
|
pulseview: 0.3.0 -> 0.4.0
Samuel Leathers
2017-08-30
*
|
|
root: add noSplash option
Dmitry Kalinkin
2017-08-30
|
|
/
|
/
|
*
|
gfan: 0.5 -> 0.6; #28643
Michael Raskin
2017-08-30
*
|
xplanet: gcc6 patch
Samuel Leathers
2017-08-30
|
/
*
pspp: 0.8.3 -> 1.0.1
Lancelot SIX
2017-08-30
*
cvc3: Add gcc6 patch from Gentoo.
Will Dietz
2017-08-29
*
qalculate-gtk: 1.0.0 -> 2.0.0a
Gabriel Ebner
2017-08-29
*
meson/ninja: add setup hooks (#28444)
Lukas Werling
2017-08-27
*
yices: 2.5.2 -> 2.5.3
Will Dietz
2017-08-27
*
libpoly: 0.1.3 -> 0.1.4
Will Dietz
2017-08-27
*
root: 6.10.02 -> 6.10.04
Dmitry Kalinkin
2017-08-22
*
Merge pull request #28377 from Ma27/update/geogebra
Joachim F
2017-08-20
|
\
|
*
geogebra: fallback to web.archive.org
Maximilian Bosch
2017-08-18
|
*
geogebra: 5-0-377-0 -> 5-0-382-0
Maximilian Bosch
2017-08-18
*
|
Merge pull request #28320 from rybern/add-poretools
Frederik Rietdijk
2017-08-20
|
\
\
|
*
|
poretools: version number to commit date
Ryan Bernstein
2017-08-18
|
*
|
poretools: init at 0.6.0
Ryan Bernstein
2017-08-17
*
|
|
open-wbo: init at 2.0
Gabriel Ebner
2017-08-20
*
|
|
lean2: 2016-11-29 -> 2017-07-22
Gabriel Ebner
2017-08-19
*
|
|
acgtk: fix homepage url
Matthew Bauer
2017-08-17
*
|
|
caneda: use caneda.org for homepage
Matthew Bauer
2017-08-17
*
|
|
use https://github.com for all homepages
Matthew Bauer
2017-08-17
|
/
/
*
|
Merge pull request #27440 from mnacamura/mathematica11_fix_ldpath
Frederik Rietdijk
2017-08-13
|
\
\
|
*
|
Add missing 'math'
Mitsuhiro Nakamura
2017-07-19
|
*
|
Simplify the sed script
Mitsuhiro Nakamura
2017-07-19
|
*
|
mathematica: fix library paths
Mitsuhiro Nakamura
2017-07-18
*
|
|
Merge pull request #28211 from mimadrid/update/samtools-1.5.0
Frederik Rietdijk
2017-08-13
|
\
\
\
[next]