Commit graph

4535 commits

Author SHA1 Message Date
github-actions[bot] bf5d8bb531
Merge master into staging-next 2021-05-14 00:58:11 +00:00
hjones2199 036e234a66
siril: fix build with glib-2.68 dependency (#122874) 2021-05-13 15:03:29 -04:00
github-actions[bot] d8fb37f470
Merge master into staging-next 2021-05-12 06:21:33 +00:00
Mauricio Collares b413d3570a sage: 9.3.rc4 -> 9.3 2021-05-11 16:49:32 -03:00
Mauricio Collares f206ba8ab9 singular: replace local patches by upstream ones 2021-05-11 16:49:10 -03:00
Mauricio Collares 391028eb3a pynac: add more patches, link to sage trac 2021-05-11 16:49:10 -03:00
Mauricio Collares 2a95fe1aea gap: 4.11.0 -> 4.11.1 2021-05-11 16:49:10 -03:00
github-actions[bot] 49b8e6f7d4
Merge master into staging-next 2021-05-11 00:48:15 +00:00
maralorn 881d2af5ee
Merge pull request #122286 from NixOS/haskell-updates 2021-05-11 02:31:06 +02:00
Malte Brandy 39c0dd99a4
tamarin-prover: Mark broken 2021-05-11 01:56:48 +02:00
Sandro 0a3c566d56
Merge pull request #122396 from jbedo/octopus
octopus: 0.7.3 -> 0.7.4
2021-05-11 01:19:54 +02:00
Justin Bedo 40eeb2c6d3
octopus: 0.7.3 -> 0.7.4 2021-05-11 08:46:00 +10:00
Sandro d2ea330f62
Merge pull request #122482 from hjones2199/kstars353 2021-05-11 00:22:01 +02:00
Hunter Jones d4077929d6 kstars: 3.5.2 -> 3.5.3 2021-05-10 15:16:04 -05:00
github-actions[bot] 61fa3fdde8
Merge master into staging-next 2021-05-10 18:28:17 +00:00
Ryan Mulligan c72c9f46e2
Merge pull request #122391 from r-ryantm/auto-update/jmol
jmol: 14.31.36 -> 14.31.38
2021-05-10 10:17:33 -07:00
github-actions[bot] 1e3d91bd19
Merge master into staging-next 2021-05-10 00:48:32 +00:00
R. RyanTM 4ff0c782a3 jmol: 14.31.36 -> 14.31.38 2021-05-09 20:32:06 +00:00
Ben Siraphob 418a37d99c coq2html: 20170720 -> 1.2 2021-05-09 22:00:15 +02:00
Vladimír Čunát 5663b2b2d3
Merge branch 'master' into staging-next
(a trivial conflict in transmission)
2021-05-09 09:31:55 +02:00
R. RyanTM 2c143443f7 libpoly: 0.1.8 -> 0.1.9 2021-05-08 18:34:00 -07:00
R. RyanTM 5ab09faafb gretl: 2021a -> 2021b 2021-05-08 17:11:36 -07:00
Martin Weinelt 9651084620 Merge remote-tracking branch 'origin/master' into staging-next 2021-05-08 14:43:43 +02:00
Jonathan Ringer 1d85caaa26 root: fix build 2021-05-08 01:29:18 -07:00
Jan Tojnar 468cb5980b gnome: rename from gnome3
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-08 09:47:42 +02:00
github-actions[bot] b4416b52c5
Merge master into staging-next 2021-05-08 00:46:50 +00:00
Malte Brandy 2a11f1f5cc
Merge branch 'master' into haskell-updates 2021-05-07 15:03:54 +02:00
github-actions[bot] 12193913a1
Merge staging-next into staging 2021-05-07 12:23:21 +00:00
Robert Hensing aaec26af39
Merge pull request #121896 from raboof/extract-version-test-to-utility
test-utilities: version test
2021-05-07 11:56:01 +02:00
Arnout Engelen b68130fd2c
test-utilities: version test
Extract 'version test' to a reusable test utility as discussed in
https://github.com/NixOS/nixpkgs/pull/119636#issuecomment-826137021 and
2021-05-07 09:53:35 +02:00
sternenseemann eaeb69862c petrinizer: restrict platforms by sbv
sbv has the most limited range of platforms of the dependencies.
2021-05-06 16:24:58 +02:00
sternenseemann 73c2dd4aa6 petrinizer: fix build
* take z3 haskell package from haskellPackages
* take sbv 7.13 from haskellPackages, apply patch fixing build
  with GHC >= 8.8.8
2021-05-06 11:43:59 +02:00
github-actions[bot] dbc1478d23
Merge staging-next into staging 2021-05-05 06:21:29 +00:00
R. RyanTM 59cd52dc40 gmsh: 4.8.3 -> 4.8.4 2021-05-05 01:26:49 -04:00
github-actions[bot] 98d7aac597
Merge staging-next into staging 2021-05-04 00:49:43 +00:00
Dmitry Kalinkin 1cfcfccc6e
Merge pull request #121411 from veprbl/pr/xfitter_darwin_fix
xfitter: fix for darwin
2021-05-03 17:37:34 -04:00
github-actions[bot] 5e177b16b1
Merge staging-next into staging 2021-05-03 18:25:49 +00:00
edef 4e4c45efac
Merge pull request #121375 from deviant/bump-rink
rink: 0.6.0 -> 0.6.1
2021-05-03 13:57:36 +00:00
github-actions[bot] a4c3a2d732
Merge staging-next into staging 2021-05-03 12:26:48 +00:00
Gabriel Ebner 62458574e3
Merge pull request #121361 from r-ryantm/auto-update/lean
lean: 3.29.0 -> 3.30.0
2021-05-03 11:13:53 +02:00
github-actions[bot] a7e07bddd5
Merge staging-next into staging 2021-05-02 12:24:53 +00:00
Luke Granger-Brown 884cf29501 dcm2niix: 1.0.20201102 -> 1.0.20210317 2021-05-02 11:10:40 +00:00
R. RyanTM ad5f251230 dcm2niix: 1.0.20200331 -> 1.0.20201102 2021-05-02 03:14:11 +00:00
github-actions[bot] e6037ce5fe
Merge staging-next into staging 2021-05-02 00:58:46 +00:00
Luke Granger-Brown ebf371726d sumorobot-manager: fix compilation 2021-05-02 00:12:19 +00:00
R. RyanTM 99f8bc3e03 sumorobot-manager: 0.9.0 -> 1.0.0 2021-05-02 00:02:46 +00:00
github-actions[bot] 49721bed32
Merge staging-next into staging 2021-05-01 18:26:21 +00:00
Dmitry Kalinkin c846fa1674
xfitter: fix for darwin
Fixes: 8984fc29 ('xfitter: fix build w/glibc-2.32')
2021-05-01 13:15:06 -04:00
Sandro 4b2c9640e7
Merge pull request #120613 from erikbackman/master 2021-05-01 18:42:40 +02:00
V 5a835e6e92 rink: 0.6.0 -> 0.6.1 2021-05-01 10:46:51 +02:00