Commit Graph

5791 Commits

Author SHA1 Message Date
Sandro
a63a39e238
Merge pull request #165335 from willcohen/qwt-6.2 2022-03-28 14:19:09 +02:00
Sandro
2f1e03cb2b
Merge pull request #165691 from lucc/github-removed-unencrypted-git 2022-03-28 12:47:42 +02:00
Maximilian Bosch
f9dd150fbe
Merge pull request #165960 from Ma27/bump-stellarium
stellarium: 0.21.3 -> 0.22.0
2022-03-28 10:06:37 +02:00
7c6f434c
1dfd957336
Merge pull request #165570 from r-ryantm/auto-update/jmol
jmol: 14.32.33 -> 14.32.39
2022-03-28 07:52:03 +00:00
Maximilian Bosch
c951914f43
stellarium: 0.21.3 -> 0.22.0
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.22.0
2022-03-27 17:40:34 +02:00
Sandro
966dd84461
Merge pull request #165778 from Luz/ngspice 2022-03-27 16:13:39 +02:00
Sandro
7d63d0891b
Merge pull request #156413 from numinit/klee-fixes 2022-03-27 13:36:16 +02:00
Sandro
08e8862bca
Merge pull request #159943 from evils/kicad-unstable 2022-03-27 11:58:39 +02:00
Sandro
2a581ac5e5
Merge pull request #164981 from evils/kicad-6.0.4 2022-03-27 11:58:31 +02:00
Will Cohen
f405c59874 libsForQt5.qwt: 6.1.6 -> 6.2.0 2022-03-26 13:35:18 -04:00
Sandro
f338d0737c
Merge pull request #159997 from jvanbruegge/isabelle-linter 2022-03-26 15:58:08 +01:00
Luz
793d40b8df ngspice: 34 -> 36 2022-03-25 19:19:48 +01:00
Silvan Mosberger
3180037c84
Merge pull request #164616 from TilCreator/update-inav-configurator
inav-configurator: 3.0.2 -> 4.1.0
2022-03-25 18:19:45 +01:00
Lucas Hoffmann
f3bda2f2c0 docs: replace defunct git://github.com urls with https:// 2022-03-25 11:21:42 +01:00
Ben Siraphob
1cf5591a99
Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18 2022-03-24 22:55:34 -05:00
davidak
6ea8d5ee71
Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17
treewide: rename name to pname&version
2022-03-24 16:38:33 +01:00
Ryan Mulligan
994642544e
Merge pull request #165594 from r-ryantm/auto-update/marvin
marvin: 22.7.0 -> 22.8.0
2022-03-24 07:57:52 -07:00
R. Ryantm
a7f7b6977f marvin: 22.7.0 -> 22.8.0 2022-03-24 10:35:36 +00:00
Vincent Laporte
3d0a9d1668 coq_8_15: 8.15.0 → 8.15.1 2022-03-24 10:17:42 +01:00
R. Ryantm
a4bf7fed59 jmol: 14.32.33 -> 14.32.39 2022-03-24 06:38:50 +00:00
Felix Buehler
3bc5196252 treewide: rename name to pname&version 2022-03-23 22:55:50 +01:00
Felix Buehler
e0476d93fe treewide: rename name to pname&version 2022-03-23 22:34:54 +01:00
Jan van Brügge
0391279c24
isabelle: Add isabelle-linter as optional component 2022-03-23 14:47:21 +01:00
markuskowa
3095b43655
Merge pull request #165368 from sikmir/gnuastro
gnuastro: init at 0.17
2022-03-23 13:04:04 +01:00
Nikolay Korotkiy
d9d3fe9b7c
gnuastro: init at 0.17 2022-03-23 07:37:18 +03:00
Sandro
50715837d6
Merge pull request #165277 from mpoquet/simgrid-3.30-to-3.31 2022-03-23 04:18:06 +01:00
ajs124
6324abc93e libpng_apng: drop
It's been the same as libpng since 8164d28, because
`libpng_apng = libpng.override { apngSupport = true; };`, but `apngSupport ? true`
2022-03-23 03:20:11 +01:00
Franz Pletz
9dd3e78f7e
Merge pull request #165194 from q3k/q3k/magic-vlsi-8.7.277
magic-vlsi: 8.3.109 -> 8.3.277
2022-03-22 22:00:17 +01:00
Millian Poquet
9ff032c291 simgrid: 3.30 -> 3.31
- addition of the optional eigen dependency, used by a new simulation
  model (bmf) that looks very promising to take interference phenomena
  into account while remaining coarse-grained.
- enabled the new dependency by default as I think this is interesting
  for most users.
2022-03-22 14:52:22 +01:00
Serge Bazanski
8171e0a24e magic-vlsi: 8.3.109 -> 8.3.277 2022-03-22 02:14:44 +01:00
Sandro
4348e36456
Merge pull request #164248 from Stunkymonkey/treewide-fetchFromGitHub-2 2022-03-22 02:13:45 +01:00
Jörg Thalheim
800d3e733c
Merge pull request #165100 from armeenm/remove-golly-beta
golly-beta: remove
2022-03-21 20:20:31 +00:00
Ryan Mulligan
0ecdc95822
Merge pull request #165002 from r-ryantm/auto-update/kstars
kstars: 3.5.7 -> 3.5.8
2022-03-21 10:02:16 -07:00
Armeen Mahdian
858e03cf1f golly-beta: remove
Golly is more up to date
2022-03-21 07:08:53 -05:00
R. Ryantm
142a76c412 kstars: 3.5.7 -> 3.5.8 2022-03-20 17:43:56 +00:00
Gabriel Ebner
3aa72cc471
Merge pull request #157515 from jvanbruegge/isabelle-naproche
isabelle: Enable and use naproche from nixpkgs
2022-03-20 18:26:33 +01:00
Evils
dfb7d36e7a kicad-unstable: 2022-01-13 -> 2022-03-19 2022-03-20 16:32:32 +01:00
Evils
fc6f267e5d kicad: 6.0.2 -> 6.0.4
6.0.3 was tagged but never released due to an issue
2022-03-20 15:36:44 +01:00
Doron Behar
6f227f03cb qalculate-gtk: 4.0.0 -> 4.1.0 2022-03-20 16:04:47 +08:00
Bobby Rong
b3549ba290
Merge pull request #164837 from bobby285271/pantheon-eco
various: remove elementary-icon-theme from buildInputs & vala 0.56 fixes
2022-03-20 13:34:08 +08:00
Bobby Rong
88aee703c2
various: remove elementary-icon-theme from buildInputs
These apps don't hardcode their icon themes and the icon theme
is no longer picked up by wrapGAppsHook by default. User may
also able to choose to use icon themes of their choice so pulling
them to XDG_DATA_DIRS is mostly no use.
2022-03-19 17:16:30 +08:00
7c6f434c
c8677c4da2
Merge pull request #164193 from NixOS/r-updates
R 4.1.2 -> 4.1.3 and rPackages bump
2022-03-18 17:27:53 +00:00
Ryan Mulligan
bfe3a6f08a
Merge pull request #164022 from r-ryantm/auto-update/jmol
jmol: 14.32.30 -> 14.32.33
2022-03-18 10:25:57 -07:00
Sandro
957075fd6d
Merge pull request #164375 from fedeinthemix/gaw-update 2022-03-18 17:58:40 +01:00
Gabriel Ebner
dccd0f76c3
Merge pull request #164717 from collares/lean-3.42.0
lean: 3.41.0 -> 3.42.0
2022-03-18 17:31:26 +01:00
Mauricio Collares
897ba65b6f lean: 3.41.0 -> 3.42.0 2022-03-18 11:52:10 -03:00
R. Ryantm
d29ff668b5 opensmt: 2.3.0 -> 2.3.1 2022-03-17 18:40:58 +00:00
tilcreator
73449ea799 inav-configurator: 3.0.2 -> 4.1.0 2022-03-17 17:50:49 +01:00
Felix Buehler
f8684d34e9 cntk: switch to fetchFromGitHub 2022-03-16 23:23:09 +01:00
Bobby Rong
2079219a72
Merge pull request #164162 from jdupak/master
QtRVSim: 0.9.1 -> 0.9.2
2022-03-16 21:32:22 +08:00