1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 21:17:46 +00:00
Commit graph

3918 commits

Author SHA1 Message Date
Vincent Laporte 2806eb2743 coq_8_12: 8.12.0 → 8.12.1 2020-11-15 12:03:15 +01:00
Ryan Mulligan 47fe890182
Merge pull request #103751 from r-ryantm/auto-update/last
last: 1133 -> 1145
2020-11-14 15:08:46 -08:00
Ryan Mulligan 306960bf1c
Merge pull request #103776 from r-ryantm/auto-update/MAVProxy
mavproxy: 1.8.22 -> 1.8.23
2020-11-14 13:34:35 -08:00
R. RyanTM e3cf6e12bc
fahcontrol: 7.6.13 -> 7.6.21 (#103677) 2020-11-14 16:39:37 +00:00
R. RyanTM 68f44d990d
fahviewer: 7.6.13 -> 7.6.21 (#103688) 2020-11-14 16:39:20 +00:00
Mario Rodas 7408e58969
Merge pull request #103731 from r-ryantm/auto-update/igv
igv: 2.8.11 -> 2.8.12
2020-11-14 06:31:47 -05:00
Timo Kaufmann 99aab4ff25
Merge pull request #103749 from r-ryantm/auto-update/jmol
jmol: 14.31.14 -> 14.31.17
2020-11-14 09:53:01 +01:00
Timo Kaufmann 9a18684661
Merge pull request #103706 from r-ryantm/auto-update/gp2c
gp2c: 0.0.11pl4 -> 0.0.12
2020-11-14 09:52:34 +01:00
R. RyanTM df7db2b3ed mavproxy: 1.8.22 -> 1.8.23 2020-11-14 06:25:20 +00:00
R. RyanTM a698dfa0a2 last: 1133 -> 1145 2020-11-13 23:30:53 +00:00
R. RyanTM dd8591d752 jmol: 14.31.14 -> 14.31.17 2020-11-13 22:05:46 +00:00
R. RyanTM 82d1113013 igv: 2.8.11 -> 2.8.12 2020-11-13 18:25:51 +00:00
R. RyanTM 3457f85820 gp2c: 0.0.11pl4 -> 0.0.12 2020-11-13 14:37:53 +00:00
Austin Seipp c1661fa7e1
magic-vlsi: 8.3.5 -> 8.3.80, co-maintain
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:03 -06:00
Austin Seipp 58a906a7bf
iverilog: unstable-2020-08-24 -> unstable-2020-10-24
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:02 -06:00
R. RyanTM f7485d07b5 lean: 3.21.0 -> 3.23.0 2020-11-11 15:16:44 -08:00
Gabriel Ebner 05d27ba19b
Merge pull request #103256 from r-ryantm/auto-update/qalculate-gtk
qalculate-gtk: 3.13.0 -> 3.14.0
2020-11-10 11:16:30 +01:00
R. RyanTM 3664e4929f qalculate-gtk: 3.13.0 -> 3.14.0 2020-11-10 01:49:59 +00:00
Frederik Rietdijk 20f001c01e Merge master into staging-next 2020-11-09 14:33:52 +01:00
Hunter Jones 5041cbc691 kstars: 2.9.8 -> 3.4.3 2020-11-09 12:21:31 +00:00
Luz 3bf8df2877 librepcb: 0.1.4 -> 0.1.5 2020-11-09 11:56:58 +00:00
Samuel Gräfenstein 22b73d1282 pkgs/*: add final newline to .nix files 2020-11-09 11:39:28 +00:00
Orivej Desh 0c75dfb732
convertall: init at 0.8.0 (#103108) 2020-11-09 01:45:09 +00:00
Masanori Ogino 88de0d7354
maxima: 5.42.2 -> 5.44.0 (#102861)
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.43.md
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.44.md
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
2020-11-08 19:29:53 -05:00
markuskowa 428bea042e
Merge pull request #102296 from r-ryantm/auto-update/gromacs
gromacs: 2020.3 -> 2020.4
2020-11-08 11:31:54 +01:00
Evils a52e974cff kicad-unstable: 2020-10-09 -> 2020-11-07
patch for issue 72248 no longer applies
  issue doesn't seem to occur without it anymore...
2020-11-07 16:29:52 +01:00
Evils 905134a79f kicad: 5.1.7 -> 5.1.8 2020-11-07 16:29:52 +01:00
Evils 50ec961174 kicad: fix update.sh bootstrapping
it will now correctly build a version.nix file from scratch
2020-11-07 16:29:52 +01:00
Evils 756f36b554 kicad: 5.1.6 -> 5.1.7 2020-11-07 16:29:52 +01:00
Jan Tojnar a821be7531
Merge branch 'master' into staging-next 2020-11-05 09:42:47 +01:00
Gabriel Ebner 8279979f38 lean: build olean files 2020-11-04 16:32:56 +01:00
Ryan Mulligan ba3fc8bf47
Merge pull request #102707 from r-ryantm/auto-update/picard-tools
picard-tools: 2.23.4 -> 2.23.8
2020-11-04 06:11:08 -08:00
Frederik Rietdijk 10c57af49c Merge staging-next into staging 2020-11-04 09:28:07 +01:00
R. RyanTM 6391d3c1b5 picard-tools: 2.23.4 -> 2.23.8 2020-11-04 04:53:50 +00:00
Ryan Mulligan 4ee1f7bc2c
Merge pull request #102582 from r-ryantm/auto-update/marvin
marvin: 20.17.0 -> 20.19.0
2020-11-03 14:56:38 -08:00
Kevin Cox d7a0daf2a1
Merge pull request #102420 from freezeboy/remove-plink
plink: remove (broken since 2014)
2020-11-03 07:49:09 -05:00
Frederik Rietdijk 470f05cb5d Merge staging-next into staging 2020-11-03 12:06:41 +01:00
R. RyanTM aea6594c69 marvin: 20.17.0 -> 20.19.0 2020-11-03 04:38:29 +00:00
Mario Rodas 98bf2ceb68
Merge pull request #102464 from r-ryantm/auto-update/igv
igv: 2.8.9 -> 2.8.11
2020-11-02 18:21:36 -05:00
Timo Kaufmann 9560149052
Merge pull request #102479 from r-ryantm/auto-update/jmol
jmol: 14.31.3 -> 14.31.14
2020-11-02 19:31:29 +01:00
R. RyanTM ccabae32dd gtkwave: 3.3.106 -> 3.3.107 2020-11-02 08:26:41 -08:00
R. RyanTM 41e1c236bf cytoscape: 3.8.1 -> 3.8.2 2020-11-02 08:20:13 -08:00
R. RyanTM 3d40283367 jmol: 14.31.3 -> 14.31.14 2020-11-02 12:07:07 +00:00
R. RyanTM 8ef46be2a4 igv: 2.8.9 -> 2.8.11 2020-11-02 10:16:32 +00:00
Pavol Rusnak 2c931312ce treewide: simplify rev/repo arguments in src
+ use fetchFromGithub where possible
2020-11-01 23:02:24 -08:00
freezeboy 1f7e201e9e plink: remove (broken since 2014) 2020-11-02 03:24:16 +01:00
R. RyanTM 036cec187c ginac: 1.7.9 -> 1.8.0 2020-11-01 17:19:05 -08:00
Frederik Rietdijk 83dde6c52c Merge staging-next into staging 2020-11-01 10:11:12 +01:00
R. RyanTM afa6047e12 gromacs: 2020.3 -> 2020.4 2020-11-01 00:24:33 +00:00
Vincent Laporte 8cab21b48b Revert "coq: propagate and install ocaml and findlib"
This reverts commit 5d0e2dedd5.
2020-10-31 09:08:06 +01:00