nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-23 20:44:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
343,552 Commits 185 Branches 125 Tags 6.1 GiB
27ff8d72f5
Commit Graph

5474 Commits

Author SHA1 Message Date
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
R. RyanTM
caa56925f9
yices: 2.6.2 -> 2.6.4 
(#143311)
 2022-01-02 10:15:42 +01:00
Martin Weinelt
b8149a7f04
Merge pull request #152907 from dotlambda/python2-remove 2022-01-02 01:33:57 +01:00
Jan van Brügge
b54e5a841b
vampire: 4.5.1 -> 4.6.1 2022-01-01 22:13:11 +01:00
Sandro
d8028c8e06
Merge pull request #147367 from TilCreator/package-inav-configurator 2022-01-01 14:05:44 +01:00
Gabriel Ebner
edac0bea9d
Merge pull request #152921 from jvanbruegge/isabelle-2021-1 
isabelle: 2021 -> 2021-1
 2022-01-01 14:00:57 +01:00
Bobby Rong
13e59225f7
Merge pull request #149135 from r-ryantm/auto-update/finalfusion-utils 
finalfusion-utils: 0.13.0 -> 0.13.2
 2022-01-01 20:45:37 +08:00
R. Ryantm
58a45d8020
finalfusion-utils: 0.13.0 -> 0.13.2 2022-01-01 20:18:54 +08:00
Martin Weinelt
4beaf5301d
python3Packages.xenomapper: move to top-level 2022-01-01 02:09:11 +01:00
Martin Weinelt
39801adb66
Merge pull request #150333 from piegamesde/update-streamlit 2021-12-31 16:53:14 +01:00
piegames
9ddd00301c pythonPackages.streamlit: 0.50.2 -> 1.2.0 2021-12-31 15:17:26 +01:00
Ben Siraphob
efbd6bf6e6
Merge pull request #152932 from r-ryantm/auto-update/calc 
calc: 2.14.0.8 -> 2.14.0.13
 2021-12-31 20:39:26 +07:00
R. Ryantm
e3271d42ce calc: 2.14.0.8 -> 2.14.0.13 2021-12-31 12:45:14 +00:00
Jan van Brügge
4b9c0cb005
isabelle: 2021 -> 2021-1 2021-12-31 13:01:41 +01:00
Jan van Brügge
d3e2cf4314
verit: 2016 -> 2021.06.2 2021-12-31 13:00:43 +01:00
Gabriel Ebner
5fcfc1d34a
Merge pull request #152605 from j0hax/speedcrunch-fixups 
Speedcrunch fixups
 2021-12-31 10:36:06 +01:00
Johannes Arnold
e3d982dfee speedcrunch: 0.12.0 -> unstable-2021-10-09 2021-12-31 10:04:07 +01:00
Bobby Rong
b8ceb2637a
Merge pull request #152811 from r-ryantm/auto-update/jmol 
jmol: 14.32.2 -> 14.32.6
 2021-12-31 08:49:50 +08:00
Maximilian Bosch
8ac7f8d217
Merge pull request #152106 from Ma27/bump-stellarium 
stellarium: 0.21.2 -> 0.21.3
 2021-12-30 23:15:08 +01:00
R. Ryantm
edceb1ed24 jmol: 14.32.2 -> 14.32.6 2021-12-30 20:51:37 +00:00
R. Ryantm
37d2f5cbb4 messer-slim: 3.6 -> 3.7 2021-12-30 20:32:56 +00:00
7c6f434c
3c5bd4a74c
Merge pull request #152409 from collares/singular-maxprocess 
singular: backport patch to fix docbuilding with >= 64 cpus
 2021-12-30 16:35:18 +00:00
Johannes Arnold
5ca1d45da3 speedcrunch: use proper fetcher 2021-12-29 17:52:11 +01:00
Ben Siraphob
39a0a70d29
treewide: fix homepages with permanent redirect to https 2021-12-29 22:06:47 +07:00
Kierán Meinhardt
b4b9096d66 astrolog: switches for using optional ephemeris/atlas files 2021-12-28 13:50:26 +01:00
Mauricio Collares
ec0c4a001f singular: backport patch to fix docbuilding with >= 64 cpus 2021-12-27 22:29:15 -03:00
Dmitry Kalinkin
33d85a8e24
Merge pull request #152149 from evils/kicad 
KiCad: 5.1.12 -> 6.0.0; and a bunch of cleanup
 2021-12-27 14:11:05 -05:00
Bobby Rong
4fdcad0d6b
Merge pull request #149379 from r-ryantm/auto-update/minimap2 
minimap2: 2.22 -> 2.23
 2021-12-27 18:05:04 +08:00
Evils
2753f7c8e1 kicad: disable tests 
due to an intermittent failure of the qa_pcbnew test
  https://gitlab.com/kicad/code/kicad/-/issues/9888
 2021-12-27 05:45:38 +01:00
Bobby Rong
d308cb2570
Merge pull request #152250 from broke/master 
elmerfem: 8.4 -> 9.0
 2021-12-27 11:33:43 +08:00
Dmitry Kalinkin
c7be038ad1
Merge pull request #152186 from veprbl/pr/root_rootcint_fix 
root: fix installation of bin/rootcint and bin/genreflex
 2021-12-26 18:30:44 -05:00
Evils
83e6fe5557 kicad: remove unused options 
the asserts are in nixos-unstable by now

and use the build_qa flag to disable building unused tests
 2021-12-26 22:07:02 +01:00
Evils
e54357a7d2 kicad: KICAD_SPICE build option defaults to ON 
and has apparently done so since it was added...
 2021-12-26 22:07:02 +01:00
Evils
f7da08bb19 kicad.updateScript: full shellcheck 2021-12-26 22:07:02 +01:00
Evils
b3f0da107e kicad: remove the separate i18n stuff 
i18n is now in the kicad source in both stable and unstable
  behind the withI18n flag which is disabled by default
 2021-12-26 22:07:02 +01:00
Evils
818894d6a5 kicad-unstable: 6.0.0-rc1 -> 2021-12-23 2021-12-26 22:07:02 +01:00
Evils
78f0769183 kicad: 5.1.12 -> 6.0.0 
remove old build conditionals
  the old wrapper env vars are no longer applicable to 6.0.0
  scripting is no longer optional
    though wxPython is still an optional dependency?

add withI18n build option to kicad.base
  i18n was moved to the kicad source, and is disabled by default
    withI18n takes the same default

add withPCM option
  to allow disabling building the Plugin and Content Manager

remove the withOCE option
  the build option was removed in upstream commit:
    1c5c052301b607a0cf8b8ed6681f1db1622a865b

and unconditionally use wxGTK31-gtk3 and wxPython
  the pcb editor's python terminal seems to work with these versions
 2021-12-26 22:07:02 +01:00
Evils
b7f9203059 kicad.updateScript: account for the bad 6.9.9 tag 2021-12-26 22:07:02 +01:00
Doron Behar
ac048e82e3
Merge pull request #147826 from doronbehar/pkg/yacas 
yacas: Fix gui and jupyter build
 2021-12-26 21:39:27 +02:00
Gunnar Nitsche
cc690c83f4 elmerfem: 8.4 -> 9.0 2021-12-26 20:29:41 +01:00