Artturi
55fdaafe15
Merge pull request #135398 from r-ryantm/auto-update/verifast
...
verifast: 19.12 -> 21.04
2021-08-23 17:25:35 +03:00
R. RyanTM
a73fc504b7
verifast: 19.12 -> 21.04
2021-08-23 07:29:27 +00:00
Sandro
00f31216e0
Merge pull request #130396 from collares/sage-9.4
...
sage: 9.3 -> 9.4
2021-08-22 21:26:12 +02:00
Sandro
607fea187f
Merge pull request #135262 from shnarazk/cadical-141
...
cadical: 1.3.0 -> 1.4.1
2021-08-22 20:01:59 +02:00
Sandro
354afc6ecd
Merge pull request #135285 from Mic92/fix-homepages
2021-08-22 18:30:31 +02:00
Bjørn Forsman
7f6cb5a226
eagle: put the desktop icon where it can be found
...
Apparently $out/share/icons/ doesn't work anymore, but
$out/share/pixmaps/ do.
2021-08-22 17:12:24 +02:00
Jörg Thalheim
11e5c3ac4b
bowtie: fix homepage
2021-08-22 16:08:28 +02:00
Mauricio Collares
46c3703ec1
sage: 9.3 -> 9.4
2021-08-22 09:53:12 -03:00
Mauricio Collares
9be264795c
pynac: import segfault fix
2021-08-22 09:53:12 -03:00
Mauricio Collares
b565d30c47
maxima: 5.44.0 -> 5.45.0
2021-08-22 09:53:08 -03:00
Narazaki, Shuji
960ddb6f8f
cadical: 1.3.0 -> 1.4.1
2021-08-22 20:46:34 +09:00
Michael Raskin
fbfc876625
Merge pull request #135241 from r-ryantm/auto-update/opensmt
...
opensmt: 2.0.1 -> 2.1.0
2021-08-22 10:03:57 +00:00
R. RyanTM
3760bcfd58
opensmt: 2.0.1 -> 2.1.0
2021-08-22 09:30:15 +00:00
Sandro
b2573f352e
Merge pull request #134578 from smancill/phase-hooks-use-strings
...
treewide: ensure pre/post phase hooks are strings
2021-08-21 14:49:30 +02:00
Sandro Jäckel
026fb18487
ginac: switch to pname + version, cleanup
2021-08-21 11:20:15 +02:00
Sebastián Mancilla
8f94a33b38
treewide: ensure pre/post phase hooks are strings
...
Some derivations use lib.optional or lib.optionals when setting pre/post
phase hooks. Ensure the proper lib.optionalString is used.
2021-08-20 19:08:42 -04:00
Sandro
a9f66e941d
Merge pull request #134390 from smancill/colpack-darwin
...
colpack: refactor builder and build on darwin
2021-08-20 23:58:11 +02:00
Tom Repetti
1387ce732d
openroad: init at 2.0
2021-08-20 10:16:03 -04:00
Sebastián Mancilla
50062cc371
colpack: refactor builder and build on darwin
...
- Use autoreconfHook and set flags with configureFlags.
- Only enable OpenMP on Linux, so it can be built on Darwin.
- Do not install .la file. Other distros also remove them.
- Do not build examples.
- Install example sources into a proper location.
- Fixed license.
2021-08-19 15:51:23 -04:00
Sandro
ac9f41a782
Merge pull request #134393 from smancill/bump-lp-solve
...
lp_solve: 5.5.2.5 -> 5.5.2.11
2021-08-19 21:36:59 +02:00
Sandro
33a0810405
Merge pull request #134720 from cab404/pymole-2.5.0
...
pymol: 2.3.0 -> 2.5.0
2021-08-19 19:51:09 +02:00
Zhenya Vinogradov
6714723bfa
sage: fix icon location in the kernel definition
...
The icon location is incorrect, `doc` directory exists inside `src`
directory, but not on the top level.
2021-08-19 12:20:35 +03:00
Vladimir Serov
8992ae0cff
pymol: 2.3.0 -> 2.5.0
2021-08-19 10:16:38 +03:00
davidak
f2b906617d
Merge pull request #134361 from Stunkymonkey/why3-phases
...
why3: deprecate phases
2021-08-19 04:06:56 +02:00
Sebastián Mancilla
514c8569aa
lp_solve: 5.5.2.5 -> 5.5.2.11
...
- Use the generic builder and override build and install phases instead
of using buildCommand and missing phases and hooks, like fixup.
- Fix build on Darwin by using the proper build script (ccc.osx).
- Add cctools to build inputs because ccc.osx uses the libtool
command.
- The install_name of the library is not set so fix it with
fixDarwinDylibNames.
- Install headers into the expected location $out/include/lpsolve
instead of $out/include. This follows what other distro do.
2021-08-17 23:20:47 -04:00
Ryan Mulligan
ad59a67ec0
Merge pull request #134444 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.25.1 -> 2.25.7
2021-08-17 16:47:31 -07:00
Artturi
8ba3c63144
Merge pull request #133998 from r-ryantm/auto-update/wxmaxima
...
wxmaxima: 21.02.0 -> 21.05.2
2021-08-17 23:00:21 +03:00
Gabriel Ebner
65cafb6030
Merge pull request #134474 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.19.0 -> 3.20.1
2021-08-17 21:32:08 +02:00
Artturi
4f36420d07
Merge pull request #134045 from r-ryantm/auto-update/minimap2
...
minimap2: 2.17 -> 2.22
2021-08-17 22:22:47 +03:00
Ryan Mulligan
6cae9fd0c5
Merge pull request #134472 from r-ryantm/auto-update/vowpal-wabbit
...
vowpal-wabbit: 8.10.0 -> 8.11.0
2021-08-17 11:18:02 -07:00
R. RyanTM
73b3e147ea
openhantek6022: 3.2.3 -> 3.2.4
2021-08-17 10:33:56 -07:00
R. RyanTM
cbd7e0dec1
qalculate-gtk: 3.19.0 -> 3.20.1
2021-08-17 16:04:54 +00:00
R. RyanTM
6d139ed34f
vowpal-wabbit: 8.10.0 -> 8.11.0
2021-08-17 15:59:33 +00:00
R. RyanTM
1a23a8bb9e
picard-tools: 2.25.1 -> 2.25.7
2021-08-17 13:50:42 +00:00
Gabriel Ebner
f267d39257
Merge pull request #134394 from r-ryantm/auto-update/elan
...
elan: 1.0.6 -> 1.0.7
2021-08-17 10:03:05 +02:00
R. RyanTM
b1868a8296
elan: 1.0.6 -> 1.0.7
2021-08-17 03:53:13 +00:00
Felix Buehler
c849ada0c5
why3: deprecate phases
2021-08-16 22:50:19 +02:00
Felix Buehler
8a8a949ffd
tlaplusToolbox: deprecate phases
2021-08-16 21:54:44 +02:00
Felix Buehler
8ad1a7859a
tlaps: deprecate phases
2021-08-16 21:54:22 +02:00
R. RyanTM
5caebbb040
verilator: 4.202 -> 4.210
2021-08-14 17:01:17 -05:00
R. RyanTM
5693a554e2
minimap2: 2.17 -> 2.22
2021-08-14 15:55:35 +00:00
R. RyanTM
0ba50b681e
wxmaxima: 21.02.0 -> 21.05.2
2021-08-14 11:51:36 +00:00
Michael Raskin
1350415b52
Merge pull request #127798 from PhDyellow/r_bump_version
...
R: 4.0.4 -> 4.1.0
2021-08-13 13:41:07 +00:00
Phil Dyer
a21caa7f19
Remove unused fetchpatch from inputs
2021-08-13 10:19:31 +10:00
Phil Dyer
7f07184a8e
Add Patch for aarch64
2021-08-13 10:16:59 +10:00
Sandro
7d75a19c60
Merge pull request #131463 from angustrau/logisim-evolution
2021-08-12 12:22:42 +02:00
Artturi
8ebdf7ec6b
Merge pull request #133322 from r-ryantm/auto-update/ginac
...
ginac: 1.8.0 -> 1.8.1
2021-08-11 23:01:14 +03:00
Phil Dyer
d37edcd3d5
R: 4.1.0 -> 4.1.1
2021-08-11 16:41:53 +10:00
R. RyanTM
e36200fc36
ginac: 1.8.0 -> 1.8.1
2021-08-10 07:09:09 +00:00
Artturi
5a587da43c
Merge pull request #133187 from Stunkymonkey/plm-fix
...
plm: fix old link & deprecate phases
2021-08-10 04:39:14 +03:00