alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
345018 commits 217 branches 121 tags 4.5 GiB
Commit graph

5482 commits

Author SHA1 Message Date
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
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