Commit Graph

4632 Commits

Author SHA1 Message Date
Eduardo Sánchez Muñoz 66d6ec6ed2 maintainers: remove eduardosm 2021-10-28 14:23:25 -07:00
Vincent Laporte b0274abf85 tamarin-prover: 1.6.0 → 1.6.1
(cherry picked from commit 05838a1632cab4f0371356666ed57f0be01575a9)
2021-10-22 08:13:56 +02:00
Vincent Laporte 95510a94a5 leo2: 1.6.2 → 1.7.0
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)

(cherry picked from commit cafe9f88fc388a18e5437ffe01c359ab9467f21f)
2021-10-14 11:05:40 +00:00
Vincent Laporte 564cb4d81d alt-ergo: 2.4.0 → 2.4.1
(cherry picked from commit 0abc796ce281eeb737039c12613734d33611658b)
2021-10-13 10:50:22 +02:00
Diep Pham 62f9f5688a dcmtk: support darwin platform
(cherry picked from commit 604ad25af49ac679bb28419b35237dcba46bb6d9)
2021-08-31 03:51:53 -04:00
Bjørn Forsman e887706c1f eagle: put the desktop icon where it can be found
Apparently $out/share/icons/ doesn't work anymore, but
$out/share/pixmaps/ do.

(cherry picked from commit 7f6cb5a22675f9b0d8217d44ffad252e1714b473)
2021-08-25 19:13:01 +02:00
Jörg Thalheim d6aa85f7ff vhd2vl: apply linting suggestions
(cherry picked from commit e7235d863c397c51715a1588865f1996ecc63608)
2021-08-08 10:16:10 +00:00
sophrosyne97 0c6243e00f vhd2vl: fix build error
(cherry picked from commit 0c2c7038919a0e4a5802ab04a12302d4c73b13b2)
2021-08-08 10:16:10 +00:00
Sandro Jäckel efd1d6fe1b treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*
(cherry picked from commit 388a4ef42345775a85d823597dadf25d4f0a5209)
2021-07-18 09:17:54 +00:00
Sarunas Valaskevicius 15e437c635 tlaToolbox: fix crash on file open dialog
(cherry picked from commit 5b69b1f3fe471c2336aa37a7d14ec389ba3f135d)
2021-07-03 05:50:45 +00:00
Andrew Childs f77d176ec6 root: use pure CoreSymbolication on Darwin
The current build works by linking against CoreSymbolication in
/System/Library/PrivateFrameworks. This is impure and doesn't work in
newer versions of macOS.

See https://github.com/NixOS/nixpkgs/issues/128576

(cherry picked from commit 55dcd998597257714c4a5362c14845a9363dde66)
2021-07-01 13:56:15 -07:00
Maximilian Bosch 2c1a36d521 stellarium: 0.21.0 -> 0.21.1
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.21.1
(cherry picked from commit ea56e08d624bdfdf271d9ee8deaa5a06d010ea24)
2021-06-24 21:28:54 +00:00
R. RyanTM 52147880d7 marvin: 21.3.0 -> 21.9.0
(cherry picked from commit cb70ce62ab26553c9174244bdc37a847cfa28151)
2021-06-08 07:54:23 -07:00
Sandro a2e86da944
Merge pull request #124984 from NixOS/backport-124980-to-release-21.05
[Backport release-21.05] sageWithDoc: fix documentation symlinks
2021-05-31 03:00:57 +02:00
github-actions[bot] fc924fc34e
xfitter: remove `hardeningDisable = [ "format" ];` (#125001)
Not needed after f42aa7e1 ('cc-wrapper: set FC when langFortran is on')

(cherry picked from commit b72b3c557170013601ceffd8c94a40764d34d302)

Co-authored-by: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
2021-05-30 19:13:01 -04:00
Mauricio Collares 1834af74e3 sageWithDoc: fix documentation symlinks
(cherry picked from commit 2c7d2ce295296553451a7839513427f63377e92e)
2021-05-30 18:02:11 +00:00
Mauricio Collares 97eba634e4 lean: substitute release commit sha1 2021-05-26 13:47:23 -03:00
Jonathan Ringer 11a9ac00fc
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
 pkgs/tools/networking/xh/default.nix
2021-05-22 18:19:10 -07:00
Sandro Jäckel d6ff646b3f pythonPackages.smart_open: rename to smart-open 2021-05-22 15:02:50 -07:00
Stéphan Kochen c47425a230 sambamba: fix darwin build 2021-05-22 20:56:09 +02:00
github-actions[bot] cc35c7fc85
Merge master into staging-next 2021-05-22 06:21:55 +00:00
Robert Scott bcc99b83d0 libpoly: fix darwin build
issue reported upstream
2021-05-21 20:21:20 -07:00
Jonathan Ringer 6b15fdce86
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
 pkgs/shells/ion/default.nix
 pkgs/tools/misc/cicero-tui/default.nix
2021-05-20 22:11:42 -07:00
Mauricio Collares 22c86a0466 sageWithDoc: fix static asset deduplication 2021-05-20 18:29:02 -07:00
Mauricio Collares 874d1aba74 sageWithDoc: update sagedoc.py test for sphinx 3.5 2021-05-20 18:29:02 -07:00
Mauricio Collares cd9e8e284c sage: fix deprecation warning from matplotlib upgrade 2021-05-20 18:29:02 -07:00
Jonathan Ringer 14f3686af1
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
  pkgs/applications/terminal-emulators/alacritty/default.nix
  pkgs/servers/clickhouse/default.nix
2021-05-20 09:12:42 -07:00
markuskowa b0b97660af
Merge pull request #123667 from markuskowa/upd-molcas
openmolcas: 20.10 -> 21.02
2021-05-19 23:17:31 +02:00
Jonathan Ringer c1f8a15dac
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
  nixos/doc/manual/release-notes/rl-2105.xml
  pkgs/tools/security/sequoia/default.nix
2021-05-19 10:39:54 -07:00
Pavol Rusnak f7ed00be13
Merge pull request #123689 from prusnak/bcal
bcal: cleanup package, enable aarch64-darwin build
2021-05-19 17:47:35 +02:00
Pavol Rusnak 6996896b48
bcal: cleanup package, enable aarch64-darwin build 2021-05-19 16:36:17 +02:00
Timo Kaufmann 6cf6470429
Merge pull request #122624 from collares/pari-2.13
pari: 2.11.4 -> 2.13.1, update sage test expectations
2021-05-19 16:07:15 +02:00
Markus Kowalewski 40f276c07d
openmolcas: 20.10 -> 21.02 2021-05-19 13:44:46 +02:00
github-actions[bot] 7000ae2b9a
Merge master into staging-next 2021-05-19 00:55:36 +00:00
Stéphan Kochen 7c0c956a57 starspace: fix darwin build 2021-05-18 20:35:09 +02:00
Jonathan Ringer ca46ad3762
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
  pkgs/tools/package-management/cargo-release/default.nix
2021-05-18 11:03:38 -07:00
Pavol Rusnak 6be706bbe5
Merge pull request #123503 from stephank/fix-samblaster-darwin
samblaster: fix darwin build
2021-05-18 18:55:29 +02:00
Jonathan Ringer f7a112f6c4
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
  pkgs/applications/graphics/emulsion/default.nix
  pkgs/development/tools/misc/texlab/default.nix
  pkgs/development/tools/rust/bindgen/default.nix
  pkgs/development/tools/rust/cargo-udeps/default.nix
  pkgs/misc/emulators/ruffle/default.nix
  pkgs/tools/misc/code-minimap/default.nix
2021-05-18 08:57:16 -07:00
Stéphan Kochen 7e9451ffb3
rink: fix darwin build (#123501) 2021-05-18 10:34:25 -04:00
Stéphan Kochen 20f36556dc samblaster: fix darwin build 2021-05-18 13:41:51 +02:00
Sandro 64b7457313
Merge pull request #123329 from evils/kicad-symlink 2021-05-18 01:40:23 +02:00
Sandro f85bc843c2
Merge pull request #122759 from dotlambda/mono6 2021-05-18 01:25:35 +02:00
R. RyanTM 161b02937d gtkwave: 3.3.108 -> 3.3.109 2021-05-17 13:51:47 -07:00
R. RyanTM ea5ad2b8e0 gwyddion: 2.57 -> 2.58 2021-05-17 11:49:58 -07:00
Erik Bäckman 5b143ccc91
numworks-epsilon: 15.3.2 -> 15.5.0 (#122760)
Co-authored-by: erikbackman <erikbackman@users.noreply.github.com>
2021-05-17 19:16:51 +02:00
Sandro 83c5d21320
Merge pull request #123083 from stephank/fix-est-sfs-darwin
est-sfs: fix darwin build
2021-05-17 18:58:33 +02:00
Jonathan Ringer c227fb4b17
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
	pkgs/development/tools/rust/cargo-cache/default.nix
	pkgs/development/tools/rust/cargo-embed/default.nix
	pkgs/development/tools/rust/cargo-flash/default.nix
	pkgs/servers/nosql/influxdb2/default.nix
2021-05-17 07:01:38 -07:00
Evils bed2e8ef28 kicad-unstable: 2021-05-13 -> 2021-05-16 2021-05-17 09:47:28 +02:00
Evils 9f6de20292 kicad: correctly handle share/metainfo and appdata
fixes issue 123299

blindly linking unstable's metainfo resulted in a dangling symlink
this is still share/appdata in the stable package so i linked that
2021-05-17 09:47:07 +02:00
Stéphan Kochen 04aa238c1a gnucap: broken on darwin
Gnucap relies on LD_LIBRARY_PATH both in its build process and in code,
which Darwin does not understand.
2021-05-16 23:51:10 -07:00