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
*
nixpkgs: add tamarin-prover 1.3.0 (dev) tool
Austin Seipp
2017-12-30
*
bitscope: init at 2017-12-28
David Asabina
2017-12-30
*
wxmaxima: build with cmake
Orivej Desh
2017-12-29
*
fdr: 4.2.0 -> 4.2.3
Nick Hu
2017-12-29
*
coq: lablgtk is only needed for coqide
Vincent Laporte
2017-12-23
*
Specify the coq version in a more consistent location
John Wiegley
2017-12-21
*
snpeff: 4.3p -> 4.3t
Justin Bedo
2017-12-21
*
coq: minor cleaning
Vincent Laporte
2017-12-18
*
drat-trim: fix build on darwin
Orivej Desh
2017-12-17
*
Merge pull request #32648 from berce/upstream-kicad
Orivej Desh
2017-12-17
|
\
|
*
kicad: show version
Orivej Desh
2017-12-17
|
*
kicad-unstable: set version
Orivej Desh
2017-12-17
|
*
kicad: add support for oce, ngspice and scripting
Bert Moens
2017-12-17
|
*
kicad: add unstable version
Bert Moens
2017-12-17
*
|
Merge pull request #32643 from kini/drat-trim
Orivej Desh
2017-12-17
|
\
\
|
*
|
drat-trim: init at 2017-08-31
Keshav Kini
2017-12-17
|
|
/
*
|
ocamlPackages.cairo2: 0.4.6 -> 0.5
Vincent Laporte
2017-12-16
*
|
coq_8_7: 8.7.0 -> 8.7.1
John Wiegley
2017-12-15
*
|
z3_4_5_0: New expression, to access the release version's API
John Wiegley
2017-12-14
*
|
Merge pull request #32538 from vbgl/ott-0.27
Pascal Wittmann
2017-12-14
|
\
\
|
|
/
|
/
|
|
*
ott: 0.25 -> 0.27
Vincent Laporte
2017-12-10
*
|
Merge pull request #32250 from vbgl/coq-clean
Vincent Laporte
2017-12-11
|
\
\
|
*
|
coq_HEAD: remove
Vincent Laporte
2017-12-02
*
|
|
Merge branch 'master' into staging
Vladimír Čunát
2017-12-09
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
gpredict: init at 1.3 (#32436)
markuskowa
2017-12-09
|
*
|
treewide: checkMeta fixes for x86_64-linux
Vladimír Čunát
2017-12-07
|
*
|
nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06
Austin Seipp
2017-12-06
|
|
/
*
|
stp: disable parallel building
Orivej Desh
2017-12-07
*
|
shogun: fix parallel building
Orivej Desh
2017-12-07
|
/
*
glucose-syrup: Remove unused fetchurl argument
Keshav Kini
2017-12-01
*
simgrid: 3.15 -> 3.17 (#32114)
Jörg Thalheim
2017-12-01
|
\
|
*
Fix typo
MERCIER Michael
2017-11-28
|
*
Add myself as maintainer
MERCIER Michael
2017-11-27
|
*
simgrid: 3.15 -> 3.17 + clean + add options
MERCIER Michael
2017-11-27
*
|
libminc: fix build after hdf5 upgrade by using hdf5_1_8
Orivej Desh
2017-12-01
*
|
R: update to 3.4.3
Peter Simons
2017-11-30
*
|
acgtk: fix for yojson ≥ 1.4
Vincent Laporte
2017-11-27
|
/
*
treewide: preset windres missing to fix builds on Linux
Orivej Desh
2017-11-21
*
stellarium: 0.15.0 -> 0.16.1
Maximilian Bosch
2017-11-19
*
vcftools: init at 0.1.15 (#31339)
rybern
2017-11-16
*
pulseview: fix build
Orivej Desh
2017-11-16
*
spyder: 2.3.8 -> 3.2.4
Joerg Thalheim
2017-11-15
*
why3: 0.87.3 -> 0.88.1
Moritz Kiefer
2017-11-15
*
sc2-headless: add pysc2 minigame map pack
Dan Haraj
2017-11-14
*
maxima: 5.40.0 -> 5.41.0
Peter Simons
2017-11-14
*
wxmaxima: 15.04.0 -> 17.10.1
Joerg Thalheim
2017-11-14
*
Merge pull request #31564 from Mounium/aliza
Renaud
2017-11-12
|
\
|
*
aliza: 1.29.2->1.36.3
Katona László
2017-11-12
*
|
golly: 2.8 -> 3.1
Michael Raskin
2017-11-11
*
|
pari: 2.9.1 -> 2.9.3
Michael Raskin
2017-11-11
[next]