Rudi Grinberg
a7f4d6bae9
ocamlformat: 0.20.0 and 0.20.1 ( #152199 )
...
* ocaml-version: 3.1.0 -> 3.4.0
* ocamlformat: 0.19.0 -> 0.20.0
* odoc-parser: refactor use version variable
use version to compute the uri for the archive
* odoc-parser: 0.9.0 -> 1.0.0
* odoc-parser: allow multiple versions
allow both 0.9.0 and 1.0.0 to accommodate different version of
ocamlformat
* ocamlformat: 0.20.0 -> 0.20.1
2022-01-03 10:02:28 +01:00
Carl Richard Theodor
a2531855aa
slic3r: use boost172 ( #153276 )
...
This fixes the regression due to a boost version bump.
It pins the used version to boost172.
2022-01-02 19:56:59 -05:00
Anderson Torres
74f542c42e
Merge pull request #153241 from AndersonTorres/new-zoo
...
unzoo: init at 4.4
2022-01-02 20:53:46 -03:00
AndersonTorres
6369dd9432
unzoo: init at 4.4
2022-01-02 20:20:33 -03: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
Fabian Affolter
85f943aaad
Merge pull request #153120 from fabaff/bump-meshtastic
...
python3Packages.meshtastic: 1.2.48 -> 1.2.50
2022-01-02 20:57:14 +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
Aaron Andersen
1b4bdf523a
Merge pull request #146795 from Madouura/dev/tetrd
...
tetrd: init at 1.0.4
2022-01-02 11:53:03 -05:00
Anderson Torres
8225c8fdc7
Merge pull request #153209 from AndersonTorres/new-acmesh
...
acme-sh: 3.0.0 -> 3.0.1
2022-01-02 12:15:29 -03:00
Sandro
6834d7e9de
Merge pull request #148565 from ju1m/zpool-iostat-viz
2022-01-02 15:55:44 +01:00
0x4A6F
c0575333cd
Merge pull request #153195 from steamwalker/rtrtr
...
rtrtr: init at 0.1.2
2022-01-02 14:44:10 +01:00
AndersonTorres
697b6d85ae
acme-sh: refactor
...
Also, add some more meta info.
2022-01-02 09:57:32 -03:00
markuskowa
88a186867d
Merge pull request #152975 from ndl/submit/treeo
...
python3Packages.treeo: init at 0.0.9
2022-01-02 13:30:38 +01:00
Steamwalker
34963f05c5
rtrtr: init at 0.1.2
2022-01-02 13:12:30 +01:00
zowoq
128812757b
terraform-providers: remove archived providers ( #153015 )
...
these providers have been archived and/or removed from the registry and
don't have a "blessed" fork or replacement linked in the archived repo.
2022-01-02 13:02:00 +01:00
Sandro
e671fb70fd
Merge pull request #116778 from SCOTT-HAMILTON/xedit
2022-01-02 11:35:27 +01:00
Sandro
8b9fc507d6
Merge pull request #152912 from dotlambda/seahub-remove
2022-01-02 11:32:25 +01:00
Jan van Brügge
63e9fb0448
isabelle: Use openjdk17
...
This is the same openjdk version that is used in upstream isabelle.
2022-01-02 11:29:44 +01:00
Manuel Bärenz
782956badf
Merge pull request #152688 from keoko/fix-issue-with-elixir-1.13.1-not-supported
...
rabbitmq-server: set explicit Elixir version to 1_12
2022-01-02 11:15:21 +01:00
Bobby Rong
f869423933
Revert "libpulseaudio: fix aarch64-darwin build"
2022-01-02 16:18:07 +08:00
Bobby Rong
f4ace5ec6a
Merge pull request #152371 from mikroskeem/darwin-fix-libpulseaudio-aarch64
...
libpulseaudio: fix aarch64-darwin build
2022-01-02 16:17:29 +08:00
Dmitry Kalinkin
5310991808
dprint: fix darwin build
2022-01-01 20:16:45 -05:00
Martin Weinelt
b8149a7f04
Merge pull request #152907 from dotlambda/python2-remove
2022-01-02 01:33:57 +01:00
Bobby Rong
7722293355
Merge pull request #151383 from max-niederman/pkg/tokio-console
...
tokio-console: init at 0.1.0
2022-01-02 08:33:05 +08:00
Martin Weinelt
937e2ba031
Merge pull request #152934 from TerrorJack/HentaiAtHome
2022-01-02 01:09:01 +01:00
Madoura
86018d741b
tetrd: init at 1.0.4
2022-01-01 17:38:46 -06:00
Fabian Affolter
c811f0395a
python3Packages.pytap2: init at 2.2.0
2022-01-02 00:18:14 +01:00
Guillaume Girol
86d63a1806
Merge pull request #147692 from NickCao/qemu
...
qemu: fix cross compilation
2022-01-01 21:52:43 +00:00
Alexander Tsvyashchenko
44866de4d1
python3Packages.jmp: init at unstable-2021-10-03 ( #152972 )
2022-01-01 13:35:46 -08:00
Alexander Tsvyashchenko
7a1f9c8908
python3Packages.chex: init at unstable-2021-12-16 ( #152969 )
2022-01-01 13:34:50 -08:00
Cheng Shao
d68c3dceb2
HentaiAtHome: init at 1.6.1
2022-01-01 19:22:02 +00:00
Guillaume Girol
4838bb1fdb
Merge pull request #151265 from SomeoneSerge/napari
...
Napari
2022-01-01 17:05:17 +00:00
Fabian Affolter
b32eaac86b
Merge pull request #147710 from fabaff/pymelcloud
...
python3Packages.pymelcloud: init at 2.5.5
2022-01-01 17:24:56 +01:00
Fabian Affolter
18b5f23c02
Merge pull request #152630 from andreasfelix/python-ormar-init
...
python3Packages.ormar: init at 0.10.23
2022-01-01 16:42:22 +01:00
legendofmiracles
b1df4e1c6a
Merge pull request #152487 from steamwalker/krill
...
krill: init at 0.9.4
2022-01-01 09:40:54 -06:00
legendofmiracles
16fd7864cb
Merge pull request #151575 from drperceptron/tworld2
2022-01-01 08:29:02 -06:00
Sandro
df2c21de51
Merge pull request #142597 from azahi/werf
2022-01-01 15:10:32 +01:00
Jörg Thalheim
5417153c0b
Merge pull request #153065 from Synthetica9/wl-mirror-0.8.1
...
wl-mirror: 0.5.0 -> 0.8.1
2022-01-01 13:51:53 +00:00
Felix Andreas
6eb1bf561f
python3Packages.ormar: init at 0.10.23
2022-01-01 14:41:42 +01:00
Bobby Rong
eebef8a1de
Merge pull request #151917 from veprbl/pr/holochain-go
...
holochain-go: remove unmaintained version
2022-01-01 21:38:46 +08:00
Dmitry Kalinkin
a4c94c3861
holochain-go: remove unmaintained version
2022-01-01 08:25:27 -05:00
Bobby Rong
e9670f14ff
Merge pull request #149680 from OmnipotentEntity/katago-1.10.0
...
katago: 1.9.1 -> 1.10.0
2022-01-01 21:16:00 +08:00
Sandro
cb35bcbeb1
Merge pull request #150718 from Stunkymonkey/sony-headphones-client-init
2022-01-01 14:15:38 +01:00
Sandro
d8028c8e06
Merge pull request #147367 from TilCreator/package-inav-configurator
2022-01-01 14:05:44 +01:00
Alexander Tsvyashchenko
f26a7d5a78
python3Packages.treeo: init at 0.0.9
2022-01-01 13:08:37 +01:00
Patrick Hilhorst
495c302597
pipectl: init at 0.2.2
2022-01-01 12:57:53 +01:00
Fabian Affolter
e534535ef3
python3Packages.pymelcloud: init at 2.5.5
2022-01-01 12:49:18 +01:00
Fabian Affolter
53dc6242c8
Merge pull request #148598 from fabaff/pyglossary
...
libzim: init at 7.0.0
2022-01-01 12:29:23 +01:00
Artturi
1a66fe1035
Merge pull request #152011 from Artturin/removebash4
...
bash_4: remove
2022-01-01 08:07:09 +02:00
Artturi
5d172c65b4
Merge pull request #152137 from Artturin/redgam
...
{redshift,gammastep}: do not double wrap & redshift-wlr: remove
2022-01-01 08:05:08 +02:00
