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
*
eagle: 9.6.1 -> 9.6.2
R. RyanTM
2020-06-17
*
verilator: 4.034 -> 4.036
Austin Seipp
2020-06-16
*
Merge pull request #90419 from r-ryantm/auto-update/picard-tools
Ryan Mulligan
2020-06-15
|
\
|
*
picard-tools: 2.22.9 -> 2.23.0
R. RyanTM
2020-06-15
*
|
lean: 3.15.0 -> 3.16.2
R. RyanTM
2020-06-14
|
/
*
symbiyosys: 2020.03.24 -> 2020.05.18
Austin Seipp
2020-06-11
*
yosys: 2020.03.24 -> 2020.06.11
Austin Seipp
2020-06-11
*
Merge branch 'staging-next'
Vladimír Čunát
2020-06-10
|
\
|
*
Merge branch 'master' into staging-next
Jan Tojnar
2020-06-10
|
|
\
|
*
\
Merge master into staging-next
Frederik Rietdijk
2020-06-08
|
|
\
\
|
*
\
\
Merge master into staging-next
Frederik Rietdijk
2020-06-07
|
|
\
\
\
|
*
\
\
\
Merge master into staging-next
Frederik Rietdijk
2020-06-04
|
|
\
\
\
\
|
*
|
|
|
|
mxnet: use blas.provider, fix build
Jonathan Ringer
2020-05-28
*
|
|
|
|
|
Merge pull request #90045 from r-ryantm/auto-update/marvin
Ryan Mulligan
2020-06-10
|
\
\
\
\
\
\
|
*
|
|
|
|
|
marvin: 20.12.0 -> 20.13.0
R. RyanTM
2020-06-10
|
|
|
_
|
_
|
_
|
/
|
|
/
|
|
|
|
*
|
|
|
|
|
Merge pull request #90013 from r-ryantm/auto-update/jmol
markuskowa
2020-06-10
|
\
\
\
\
\
\
|
|
/
/
/
/
/
|
/
|
|
|
|
|
|
*
|
|
|
|
jmol: 14.30.2 -> 14.31.0
R. RyanTM
2020-06-10
|
|
|
_
|
_
|
/
|
|
/
|
|
|
*
|
|
|
|
boolector: 3.0.0 -> 3.2.1
Symphorien Gibol
2020-06-08
*
|
|
|
|
btor2tools: pre55 -> 1.0.0-pre
Symphorien Gibol
2020-06-08
*
|
|
|
|
formatting: fix missing leading whitespace
1000101
2020-06-08
|
/
/
/
/
*
|
|
|
Merge pull request #89667 from r-ryantm/auto-update/picard-tools
Ryan Mulligan
2020-06-07
|
\
\
\
\
|
*
|
|
|
picard-tools: 2.22.8 -> 2.22.9
R. RyanTM
2020-06-06
|
|
|
/
/
|
|
/
|
|
*
|
|
|
Merge pull request #89515 from lopsided98/qgroundcontrol-update
Frederik Rietdijk
2020-06-07
|
\
\
\
\
|
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
qgroundcontrol: 3.5.5 -> 4.0.8
Ben Wolsieffer
2020-06-04
|
|
/
/
*
|
|
molden: 6.2 -> 6.3
Markus Kowalewski
2020-06-06
*
|
|
lean: 3.14.0 -> 3.15.0
R. RyanTM
2020-06-06
|
/
/
*
|
Merge pull request #88466 from puzzlewolf/gazebo_remove
Lassulus
2020-06-04
|
\
\
|
*
|
maintainers: remove pxc
puzzlewolf
2020-05-30
|
*
|
gazebo, sdformat: remove
puzzlewolf
2020-05-30
|
|
/
*
|
treewide: replace base64 encoded hashes
Daiderd Jordan
2020-06-03
*
|
Merge pull request #89308 from LnL7/remove-sri-hashes
zimbatm
2020-06-02
|
\
\
|
*
|
treewide: replace SRI hashes
Daiderd Jordan
2020-06-01
|
|
/
*
|
Merge pull request #89111 from timokau/gap-cleanup
Timo Kaufmann
2020-06-02
|
\
\
|
|
/
|
/
|
|
*
gap: remove explicit configreFlags
Timo Kaufmann
2020-05-28
|
*
gap: add readline support
Timo Kaufmann
2020-05-28
|
*
gap: use https for the homepage
Timo Kaufmann
2020-05-28
|
*
gap: fix comment typo
Timo Kaufmann
2020-05-28
|
*
gap: remove m4 dependency
Timo Kaufmann
2020-05-28
|
*
gap: move to new source URL
Timo Kaufmann
2020-05-28
|
*
gap: use the `check` target for install checks
Timo Kaufmann
2020-05-28
*
|
Merge pull request #89058 from timokau/palp-2.11-hash-fixup-2
Timo Kaufmann
2020-05-27
|
\
\
|
*
|
palp: fix hash
Timo Kaufmann
2020-05-28
|
|
/
*
/
cryptominisat: 5.7.0 -> 5.7.1
R. RyanTM
2020-05-27
|
/
*
marvin: 20.10.0 -> 20.12.0
R. RyanTM
2020-05-27
*
proverif: 2.00 -> 2.01
R. RyanTM
2020-05-27
*
Merge pull request #88916 from zowoq/patches
Jörg Thalheim
2020-05-27
|
\
|
*
sad: use patch file extension
zowoq
2020-05-26
*
|
Merge pull request #82180 from bcdarwin/bppcore
Benjamin Hipple
2020-05-26
|
\
\
|
*
|
bppsuite: init at 2.4.1
Ben Darwin
2020-05-25
*
|
|
Merge pull request #70487 from esclear/xflr5
Lassulus
2020-05-27
|
\
\
\
[next]