mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 15:11:35 +00:00
Code Issues Wiki Activity
344054 commits 249 branches 124 tags 7.1 GiB
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