alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
365631 commits 217 branches 121 tags 4.5 GiB
Commit graph

5803 commits

Author SHA1 Message Date
Shadaj Laddad 74b7319023 cvc5: init at 1.0.0 2022-04-06 21:20:40 +00:00
Shadaj Laddad 2d1621012c symfpu: init at unstable-2019-05-17 2022-04-04 20:30:28 +00:00
Ben Siraphob 5187709ff7
Merge pull request #166508 from siraben/automake-buildinputs 2022-03-31 03:15:41 -05:00
Ben Siraphob cbbef27aa9
Merge pull request #166527 from siraben/nuxmv-darwin 2022-03-30 23:44:48 -05:00
Ben Siraphob 0535074d17
nuXmv: fix darwin build 2022-03-30 23:43:21 -05:00
Ben Siraphob 21faf9fc29
treewide: move autoconf, automake to nativeBuildInputs 2022-03-30 20:17:24 -05:00
Oleksii Filonenko cade4603c3
Merge pull request #166120 from r-ryantm/auto-update/rink 2022-03-30 20:24:36 +03:00
Sandro 71d8b69306
Merge pull request #166144 from alyaeanyx/gprojector-3.0.3 2022-03-30 02:17:50 +02:00
Sandro 1f6bdf4d93
Merge pull request #165458 from rbreslow/add-flywheel-cli 2022-03-29 13:33:54 +02:00
alyaeanyx aa931a46e0
gprojector: 3.0.2 -> 3.0.3 2022-03-28 23:56:35 +02:00
Rocky Breslow 603e9d7b64
flywheel-cli: init at 16.2.0 2022-03-28 15:54:39 -04:00
R. Ryantm 53dff2f7c8 rink: 0.6.2 -> 0.6.3 2022-03-28 18:13:37 +00:00
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