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
*
isabelle: Fix build on darwin
Shea Levy
2022-06-23
*
z3_4_4_0: Fix build on darwin.
Shea Levy
2022-06-23
*
veriT: Fix build on macos
Hernan Rajchert
2022-06-22
*
snakemake: 7.8.2 -> 7.8.3
R. Ryantm
2022-06-21
*
Merge pull request #178307 from Luflosi/update/yosys
Anderson Torres
2022-06-20
|
\
|
*
abc-verifier: 2022.03.22 -> 2022.05.06
Luflosi
2022-06-20
*
|
Merge pull request #177991 from mdarocha/dotnet-6-update
Ivv
2022-06-20
|
\
\
|
|
/
|
/
|
|
*
formula: update dependencies
mdarocha
2022-06-17
*
|
treewide/python-modules: add sourceProvenance for several packages
Robert Scott
2022-06-20
*
|
Merge master into staging-next
github-actions[bot]
2022-06-18
|
\
\
|
*
\
Merge pull request #177930 from lschuermann/dev/update/horizon-eda-2.3.1
Bobby Rong
2022-06-18
|
|
\
\
|
|
*
|
horizon-eda: 2.3.0 -> 2.3.1
Leon Schuermann
2022-06-16
*
|
|
|
Merge master into staging-next
Sergei Trofimovich
2022-06-18
|
\
|
|
|
|
*
|
|
Merge pull request #176852 from trofi/workaround-fno-common-for-fped
Sandro
2022-06-17
|
|
\
\
\
|
|
*
|
|
fped: add -fcommon workaround
Sergei Trofimovich
2022-06-08
|
*
|
|
|
Merge pull request #178031 from veprbl/pr/dawn_init
Sandro
2022-06-17
|
|
\
\
\
\
|
|
*
|
|
|
dawn: init at 3.91a
Dmitry Kalinkin
2022-06-16
|
|
|
|
/
/
|
|
|
/
|
|
*
|
|
|
|
Merge branch 'master' into staging-next
Jan Tojnar
2022-06-17
|
\
|
|
|
|
|
*
|
|
|
wxmaxima: 22.03.0 -> 22.05.0 (#177610)
kilianar
2022-06-17
|
*
|
|
|
Merge pull request #178013 from markuskowa/upd-molcas
markuskowa
2022-06-17
|
|
\
\
\
\
|
|
*
|
|
|
openmolcas: 22.02 -> 22.06
Markus Kowalewski
2022-06-17
|
*
|
|
|
|
Merge pull request #176788 from NixOS/haskell-updates
Dennis Gosnell
2022-06-17
|
|
\
\
\
\
\
|
|
|
/
/
/
/
|
|
/
|
|
|
|
|
|
*
|
|
|
tamarin-prover: remove darwin from hydraPlatforms
Dennis Gosnell
2022-06-17
|
|
|
/
/
/
*
|
|
|
|
Merge master into staging-next
github-actions[bot]
2022-06-17
|
\
|
|
|
|
|
*
|
|
|
gromacs: 2022.1 -> 2022.2
Markus Kowalewski
2022-06-17
|
|
|
_
|
/
|
|
/
|
|
*
|
|
|
Merge master into staging-next
github-actions[bot]
2022-06-17
|
\
|
|
|
|
*
|
|
Merge pull request #177729 from kilianar/kstars
Mario Rodas
2022-06-16
|
|
\
\
\
|
|
*
|
|
kstars: 3.5.8 -> 3.5.9
kilianar
2022-06-15
|
*
|
|
|
gama: 2.17 -> 2.19
kilianar
2022-06-16
|
|
|
/
/
|
|
/
|
|
*
|
|
|
Merge master into staging-next
github-actions[bot]
2022-06-16
|
\
|
|
|
|
*
|
|
Merge pull request #176238 from symphorien/giac-browser
Guillaume Girol
2022-06-15
|
|
\
\
\
|
|
|
/
/
|
|
/
|
|
|
|
*
|
giac-with-xcas: fix command to open help inside browser
Guillaume Girol
2022-06-01
*
|
|
|
Merge master into staging-next
github-actions[bot]
2022-06-13
|
\
|
|
|
|
*
|
|
mathematica: mark meta.sourceProvenance
FliegendeWurst
2022-06-13
*
|
|
|
Merge master into staging-next
github-actions[bot]
2022-06-11
|
\
|
|
|
|
*
|
|
Merge pull request #176437 from trofi/fix-fno-common-for-geda
Sergei Trofimovich
2022-06-11
|
|
\
\
\
|
|
*
|
|
geda: pull upstream fixes for -fno-common toolchains
Sergei Trofimovich
2022-06-05
*
|
|
|
|
Merge master into staging-next
github-actions[bot]
2022-06-10
|
\
|
|
|
|
|
*
|
|
|
snakemake: 7.8.1 -> 7.8.2
R. Ryantm
2022-06-09
*
|
|
|
|
Merge remote-tracking branch 'origin/staging-next' into staging
Martin Weinelt
2022-06-08
|
\
|
|
|
|
|
*
|
|
|
coq_8_16: init at 8.16+rc1
Pierre Roux
2022-06-08
|
*
|
|
|
gpredict: pull upstream fix for -fno-common toolchains
Sergei Trofimovich
2022-06-08
|
|
|
_
|
/
|
|
/
|
|
*
|
|
|
Merge pull request #175805 from NixOS/python-updates
Martin Weinelt
2022-06-08
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
MACS2: mark broken
Sandro Jäckel
2022-06-06
|
|
/
/
*
|
|
Merge pull request #175961 from helsinki-systems/rem/broken
Rick van Schijndel
2022-06-06
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
scilab: remove after being marked broken for over 18 months
ajs124
2022-06-02
*
|
|
alt-ergo: ensure compatibility with Menhir ≥ 20211215
Vincent Laporte
2022-06-05
*
|
|
Merge pull request #176278 from risicle/ris-jar-source-provenance
Robert Scott
2022-06-05
|
\
\
\
|
*
|
|
treewide: set sourceProvenance for packages containing downloaded jars
Robert Scott
2022-06-04
*
|
|
|
ngspice: 36 -> 37
Luz
2022-06-05
|
/
/
/
[next]