ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-30 09:37:59 +03:00
Code Issues Projects Releases Wiki Activity
311,393 Commits 96 Branches 102 Tags 4.3 GiB
73ad08e512
Commit Graph

4960 Commits

Author SHA1 Message Date
Sandro
73ad08e512
Merge pull request #135481 from kzvi/lean-update 
lean: 3.31.0 -> 3.32.1
 2021-08-25 00:43:28 +02:00
Ryan Mulligan
8c2e2ffe95
Merge pull request #135212 from r-ryantm/auto-update/stacks 
stacks: 2.55 -> 2.59
 2021-08-24 09:03:17 -07:00
Ryan Mulligan
997f4452a4
Merge pull request #135255 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.25.7 -> 2.26.0
 2021-08-23 20:56:38 -07:00
kzvi
befe89f3d7 lean: 3.31.0 -> 3.32.1 2021-08-23 15:43:00 -07:00
davidak
d18866b1c2 nasc: 0.7.5 -> 0.8.0 2021-08-23 23:23:52 +02:00
Artturi
f2f1718aae
Merge pull request #135404 from r-ryantm/auto-update/workcraft 2021-08-23 17:28:09 +03:00
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
6b086631c6 workcraft: 3.3.2 -> 3.3.5 2021-08-23 08:01:40 +00: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
R. RyanTM
742cd80071 picard-tools: 2.25.7 -> 2.26.0 2021-08-22 10:47:38 +00: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
R. RyanTM
67c1256ddd stacks: 2.55 -> 2.59 2021-08-22 07:08:39 +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