JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
347,276 Commits 2 Branches 0 Tags 12 GiB
6749f353af
Commit Graph

5513 Commits

Author SHA1 Message Date
Armeen Mahdian
2d207146ee
mathematica: Refactor install process with autoPatchelfHook (#154295) 
- Call appropriate hooks at beginning/end of each phase

  - No longer assume current working dir in installPhase

  - Add support for udev rules installation (required for VernierLink)

  - Use -verbose with MathInstaller for detailed progress

  - Use patchShebangs or MathInstaller

  - Remove broken hostname call, root user check, and Avahi daemon
    check in MathInstaller

  - Add proper error checking after MathInstaller call

  - Skip configure phase

  - Create wrappers for relevant executables

  - Set $HOME to $TMPDIR/home temporarily so MathInstaller
    succeeds

  - Replace dd with tail for simplicity and performance
 2022-01-19 12:35:38 -05:00
evils
ba7c4fa91d
kicad: enable i18n by default (#155065) 
without i18n
/nix/store/xgs0n52djlqqmw6qlvg6j2jxpzdpsi92-kicad-6.0.1   7269408096
/nix/store/k7ra3zkx6mp0b3ivsf0ba14mbinwws0w-kicad-unstable-33a4c9b08e   7277796352
with i18n
/nix/store/2xh82r2znqipky0sny49h9cs5fbhmh4v-kicad-6.0.1   7286672288
/nix/store/532r1f3j8xjki8g87400n0gnd594pcbm-kicad-unstable-33a4c9b08e   7294795424
 2022-01-18 13:06:30 -05:00
Markus Kowalewski
17d0b66cf6
gromacs: 2021.4 -> 2021.5 2022-01-17 15:50:31 +01:00
Bobby Rong
9b59effb02
Merge pull request #154798 from collares/lean-3.38 
lean: 3.37.0 -> 3.38.0
 2022-01-17 21:40:56 +08:00
Frederik Rietdijk
afef6d0e81
Merge pull request #154687 from dotlambda/python-alias 
python,pythonPackages: make aliases
 2022-01-17 09:37:49 +01:00
R. RyanTM
4fa7c297f2
minimap2: 2.23 -> 2.24 
* minimap2: 2.23 -> 2.24 (#153189)

* minimap2: no support for aarch64

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-17 08:49:35 +01:00
Robert Schütz
d5cceedbd1 python,pythonPackages: make aliases 
Since aliases are disallowed in nixpkgs, this makes usage of Python 2
which is EOL more explicit.
 2022-01-16 18:39:59 +00:00
Robert Schütz
65e959eb9a tebreak: also use python3 for tests 2022-01-16 18:00:59 +00:00
Martin Weinelt
492e5e07c9
lumpy: drop 
Removed because it requires python2 and the upstream repository looks
undermaintained.
 2022-01-16 02:36:23 +01:00
R. RyanTM
1e4664e1a0
betaflight-configurator: 10.7.1 -> 10.7.2 
(#154383)
 2022-01-15 23:12:31 +01:00
R. RyanTM
0c7342b6e7
horizon-eda: 2.1.0 -> 2.2.0 
(#154557)
 2022-01-15 22:09:09 +01:00
pennae
59505f5c08
Merge pull request #154395 from r-ryantm/auto-update/calc 
calc: 2.14.0.13 -> 2.14.0.14
 2022-01-15 10:32:41 +00:00
Bobby Rong
cb3da55ede
Merge pull request #154988 from veprbl/pr/broken_gplates 
gplates: mark as broken on darwin
 2022-01-15 13:24:14 +08:00
Bobby Rong
a6ed245599
Merge pull request #154989 from veprbl/pr/broken_graphia 
graphia: mark as broken on darwin
 2022-01-15 13:23:31 +08:00
Fabian Affolter
49574fc9d5
Merge pull request #154934 from fabaff/fix-toil 
toil: 5.4.0 -> 5.6.0
 2022-01-14 21:16:45 +01:00
Dmitry Kalinkin
2b9f8eb0a2
graphia: mark as broken on darwin 2022-01-14 03:38:54 -05:00
Dmitry Kalinkin
69d78f174a
gplates: mark as broken on darwin 2022-01-14 03:33:15 -05:00
Shamrock Lee
cc5ffb3de4 root: Explicit specify -Dtmva=ON 2022-01-14 14:19:33 +08:00
Shamrock Lee
336cc50b1f root: add openblas and lapack into buildInputs for TMVA 2022-01-14 14:15:22 +08:00
Dmitry Kalinkin
bc59ba15b6
Merge pull request #154973 from evils/kicad-6.0.1 
kicad: 6.0.0 -> 6.0.1
 2022-01-13 22:17:24 -05:00
Evils
1d81731642 kicad: 6.0.0 -> 6.0.1 2022-01-14 02:44:34 +01:00
Evils
d98b76cf5b kicad-unstable: 2021-12-23 -> 2022-01-13 
PCM is no longer optional
  removed in 211820a689a618ac5bcbea19a8c58d345ce25ddb

-unknown suffix is back
  3e373da8c25048205dfa2278079555a522fd2e62
 2022-01-14 02:44:12 +01:00
Fabian Affolter
32003c3051 toil: 5.4.0 -> 5.6.0 2022-01-13 21:37:08 +01:00
Fabian Affolter
480999d914
Merge pull request #154781 from fabaff/bump-cwltool 
cwltool: 3.1.20211104071347 -> 3.1.20211107152837
 2022-01-13 00:25:01 +01:00
R. RyanTM
cf340a9dae
finalfusion-utils: 0.13.2 -> 0.14.1 
(#154470)
 2022-01-12 23:42:03 +01:00
Mauricio Collares
c3b215f678 lean: 3.37.0 -> 3.38.0 2022-01-12 16:25:20 -03:00
Fabian Affolter
1a549598b4 cwltool: 3.1.20211104071347 -> 3.1.20211107152837 2022-01-12 18:00:43 +01:00
1000teslas
a4b6785de9 isabelle: patch jni libs for nitpick 2022-01-11 21:09:27 +11:00
R. Ryantm
a389c191b4 calc: 2.14.0.13 -> 2.14.0.14 2022-01-11 02:54:44 +00:00
1000teslas
d9d30199ec isabelle: patch zipperposition binary 2022-01-11 11:55:38 +11:00
Phillip Seeber
afdfec504f cp2k: 8.2.0 -> 9.1.0 2022-01-10 13:54:46 +01:00
Bernardo Meurer
95be2a7068
Merge pull request #154084 from NickCao/astrolog 
astrolog: fix cross compilation
 2022-01-09 18:05:11 +00:00
Fabian Affolter
8aea087b19
Merge pull request #154077 from fabaff/bump-nextinspace 
nextinspace: 1.0.6 -> 2.0.3
 2022-01-09 18:57:30 +01:00
Nick Cao
bc547213eb
astrolog: fix cross compilation 2022-01-09 09:22:51 +08:00
Fabian Affolter
b9c6bff4f0 nextinspace: 1.0.6 -> 2.0.3 2022-01-09 01:17:23 +01:00
Renaud
3e90bc0c91
Merge pull request #153014 from numinit/add-klee 
klee: init at 2.2
 2022-01-09 00:16:19 +01:00
Morgan Jones
5f8f72c10c klee: init at 2.2 2022-01-08 15:49:07 -07:00
R. RyanTM
c5e9e73029
gmsh: 4.9.0 -> 4.9.2 
* gmsh: 4.9.0 -> 4.9.2 (#152872)

* gmsh: use https

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-08 01:18:15 +01:00
Mauricio Collares
81d4c28748 lean: 3.36.0 -> 3.37.0 2022-01-07 16:51:55 -03:00
Lassulus
27ff8d72f5
Merge pull request #152326 from kmein/feature/astrolog 
astrolog: switches for using optional ephemeris/atlas files
 2022-01-04 23:10:50 +01:00
Mauricio Collares
b790f8ce31 lean: 3.35.1 -> 3.36.0 2022-01-04 10:35:17 -03:00
Gabriel Ebner
adf7f03d3b
Merge pull request #153337 from collares/lean-3.35.1 
lean: 3.35.0 -> 3.35.1
 2022-01-03 16:40:00 +01:00
Mauricio Collares
5b3eac3130 lean: 3.35.0 -> 3.35.1 2022-01-03 11:42:18 -03:00
markuskowa
09819d7eff
Merge pull request #152801 from r-ryantm/auto-update/messer-slim 
messer-slim: 3.6 -> 3.7
 2022-01-03 10:50:18 +01:00
Gabriel Ebner
7fb27d1c22
Merge pull request #153190 from jvanbruegge/isabelle-vampire 
isabelle: Use vampire and eprover from nixpkgs
 2022-01-02 22:56:09 +01:00
Jan van Brügge
c601134af8
isabelle: Use vampire and eprover from nixpkgs 
It also removes the unused perl input
 2022-01-02 20:53:33 +01:00
Jan van Brügge
f79b811f2d
eprover: Add option to enable LFHOL reasoning 
Using eprover as automated theorem prover for sledgehammer requires this
option.
 2022-01-02 20:53:32 +01:00
Sergei Trofimovich
369d7bb4ca z3: 4.8.12 -> 4.8.14 
While at it added trivial updater plumbing.
 2022-01-02 12:45:59 -06:00
R. RyanTM
e4992cdd65
stacks: 2.59 -> 2.60 
(#149101)
 2022-01-02 19:23:58 +01:00
R. RyanTM
0bf7411211
libpoly: 0.1.10 -> 0.1.11 
* libpoly: 0.1.10 -> 0.1.11 (#144410)

* libpoly: remove unneeded postPatch

(fixed upstream by now)

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-02 17:38:00 +01:00