index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Commit message (
Expand
)
Author
Age
*
Merge pull request #62378 from r-ryantm/auto-update/clp
worldofpeace
2019-06-01
|
\
|
*
clp: update homepage
worldofpeace
2019-06-01
|
*
clp: 1.17.1 -> 1.17.2
R. RyanTM
2019-06-01
*
|
cryptoverif: 2.00 -> 2.01
R. RyanTM
2019-06-01
*
|
treewide: update cargoSha256 hashes for cargo-vendor upgrade
Alyssa Ross
2019-06-01
*
|
coq_8_9: 8.9.0 -> 8.9.1
Vincent Laporte
2019-05-29
|
/
*
libqalculate,qalculate-gtk: 3.1.0 -> 3.2.0
Will Dietz
2019-05-28
*
verilator: 4.012 -> 4.014 (#62013)
Jörg Thalheim
2019-05-25
|
\
|
*
verilator: 4.012 -> 4.014
R. RyanTM
2019-05-24
*
|
Merge pull request #61895 from smaret/gildas-update
Dmitry Kalinkin
2019-05-24
|
\
\
|
*
|
gildas: 20190401_a -> 20190501_a
Sébastien Maret
2019-05-24
*
|
|
Merge pull request #61798 from bobvanderlinden/aliza-1.48.10
Renaud
2019-05-24
|
\
\
\
|
*
|
|
aliza: ? -> 1.48.10
Bob van der Linden
2019-05-21
*
|
|
|
Merge pull request #61997 from r-ryantm/auto-update/stacks
Ryan Mulligan
2019-05-24
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
stacks: 2.3e -> 2.4
R. RyanTM
2019-05-24
|
|
|
/
|
|
/
|
*
|
|
spyder: convert to python modules
Gabriel Ebner
2019-05-21
|
|
/
|
/
|
*
|
several fixes in coq and coqPackages.mathcomp (and extras)
Cyril Cohen
2019-05-21
*
|
Merge pull request #61630 from markuskowa/upd-molden
markuskowa
2019-05-18
|
\
\
|
*
|
molden: 5.9.5 -> 6.1
Markus Kowalewski
2019-05-17
*
|
|
Merge pull request #58369 from bzizou/clustalo
Robin Gloster
2019-05-18
|
\
\
\
|
*
|
|
clustal-omega: init at 1.2.4
Bruno Bzeznik
2019-03-26
*
|
|
|
Merge pull request #60406 from JohnAZoidberg/remove-isnull
Robin Gloster
2019-05-18
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
treewide: Remove usage of isNull
Daniel Schaefer
2019-04-29
*
|
|
|
Merge pull request #61462 from mpoquet/simgrid-3.21-to-3.22.2
Aaron Andersen
2019-05-16
|
\
\
\
\
|
*
|
|
|
simgrid: remove unneeded 'name' definition
Millian Poquet
2019-05-15
|
*
|
|
|
simgrid: override checkPhase -> preCheck
Millian Poquet
2019-05-14
|
*
|
|
|
simgrid: fetchgit -> fetchFromGitLab
Millian Poquet
2019-05-13
|
*
|
|
|
simgrid: 3.21 -> 3.22.2
Millian Poquet
2019-05-13
*
|
|
|
|
nasc: 0.5.2 -> 0.5.4
Will Dietz
2019-05-15
*
|
|
|
|
coq: init at 8.10+β1
Vincent Laporte
2019-05-15
*
|
|
|
|
coq: make “coq-version” more general
Vincent Laporte
2019-05-15
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
pynac: 0.7.24 -> 0.7.25 (#61458)
Timo Kaufmann
2019-05-13
*
|
|
|
eggnog-mapper: fix patch URL and hash
Renaud
2019-05-13
|
/
/
/
*
|
|
cbc: 2.9.9 -> 2.10.2 (#58016)
R. RyanTM
2019-05-12
*
|
|
symbiyosys: fix path to bash
Sebastien Bourdeauducq
2019-05-12
*
|
|
Merge pull request #61335 from r-ryantm/auto-update/minimap2
Renaud
2019-05-12
|
\
\
\
|
*
|
|
minimap2: 2.16 -> 2.17
R. RyanTM
2019-05-11
*
|
|
|
apmplanner-2: 2.0.26 -> 2.0.27-rc1
wucke13
2019-05-11
*
|
|
|
givaro: 4.0.4 -> 4.1.0, fflas-ffpack: 2.3.2 -> 2.4.0, linbox: 1.5.2 -> 1.6.0 ...
Timo Kaufmann
2019-05-11
*
|
|
|
tptp: switch to new base URL for source tarball
Michael Raskin
2019-05-09
*
|
|
|
vampire: switch off the fragile fetchSubmodules/leaveDotGit
Michael Raskin
2019-05-09
*
|
|
|
Merge pull request #60932 from c0bw3b/patches-cleanup
Renaud
2019-05-07
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
[treewide] delete unused patches
c0bw3b
2019-05-04
*
|
|
|
Merge staging-next into master
Frederik Rietdijk
2019-05-07
|
\
\
\
\
|
*
\
\
\
Merge master into staging-next
Frederik Rietdijk
2019-05-07
|
|
\
\
\
\
|
*
\
\
\
\
Merge master into staging-next
Frederik Rietdijk
2019-05-02
|
|
\
\
\
\
\
|
|
|
|
/
/
/
|
|
|
/
|
|
|
|
*
|
|
|
|
Merge master into staging-next
Frederik Rietdijk
2019-05-01
|
|
\
\
\
\
\
|
*
\
\
\
\
\
Merge pull request #60447 from matthewbauer/macos-10-12-fixups
Matthew Bauer
2019-04-30
|
|
\
\
\
\
\
\
|
|
*
|
|
|
|
|
treewide: make -Wno-error flags clang-only
Matthew Bauer
2019-04-29
|
*
|
|
|
|
|
|
Merge staging-next into staging
Frederik Rietdijk
2019-04-30
|
|
\
\
\
\
\
\
\
|
|
|
/
/
/
/
/
/
|
|
/
|
|
|
|
|
|
[next]