Commit Graph

393127 Commits

Author SHA1 Message Date
Vincent Laporte
a8ce8ba5dc ocamlPackages.containers: 3.6.1 → 3.9 2022-07-20 17:24:59 +02:00
Mario Rodas
b55563cc57 dune_3: 3.3.1 -> 3.4.0
https://github.com/ocaml/dune/releases/tag/3.4.0
2022-07-20 17:24:28 +02:00
Kenji Maillard
b9da0d3852 first release of Metacoq 2022-07-20 16:52:11 +02:00
Sergei Trofimovich
cb63ee9ff8
Merge pull request #181999 from trofi/gcc-clean-up-configureFlags
gcc: turn configureFlags into a sigle list, not nested list
2022-07-20 15:46:36 +01:00
Sergei Trofimovich
cf2e2a65ae
Merge pull request #182143 from hamishmack/patch-7
libredirect: Fix cross compilation `buildPackages`
2022-07-20 15:41:39 +01:00
Mario Rodas
fd24ea2e6a
Merge pull request #182201 from r-ryantm/auto-update/python3.10-levenshtein
python310Packages.levenshtein: 0.19.2 -> 0.19.3
2022-07-20 09:23:21 -05:00
Mario Rodas
a568d240f4
Merge pull request #182182 from marsam/fix-nbd-tls
nbd: add tls support
2022-07-20 09:22:14 -05:00
Ben Siraphob
239f2a4be4
Merge pull request #181910 from vbgl/coq-fourcolor-1.2.5
coqPackages.fourcolor: 1.2.4 → 1.2.5
2022-07-20 06:46:50 -07:00
Linus Heckemann
b47b1626a3
Merge pull request #180440 from r-ryantm/auto-update/bemenu
bemenu: 0.6.7 -> 0.6.10
2022-07-20 15:37:16 +02:00
Bobby Rong
e0c9afb6e8
Merge pull request #182186 from kilianar/logseq-0.7.7
logseq: 0.7.6 -> 0.7.7
2022-07-20 21:00:57 +08:00
Silvan Mosberger
09bcb880ce
Merge pull request #181814 from r-ryantm/auto-update/python310Packages.Wand
python310Packages.Wand: 0.6.7 -> 0.6.8
2022-07-20 14:32:39 +02:00
Jonas Heinrich
1446695c7b python310Packages.pystemd: 0.8.0 -> 0.10.0 2022-07-20 08:29:35 -04:00
R. Ryantm
791953e048 python310Packages.levenshtein: 0.19.2 -> 0.19.3 2022-07-20 11:58:45 +00:00
ajs124
2fb7ee8cef
Merge pull request #182095 from sumnerevans/synapse-1.63 2022-07-20 13:53:26 +02:00
Jan Tojnar
d6256f19d1 libgit2-glib: 1.0.0.1 -> 1.1.0
https://gitlab.gnome.org/GNOME/libgit2-glib/-/compare/v1.0.0.1...v1.1.0

- Format the expression.
- Reorder the attributes to more conventional order.
- Build API docs.
- Split outputs.
- Correct license.
2022-07-20 12:51:06 +02:00
Martin Weinelt
cd8d178450
Merge pull request #181921 from helsinki-systems/init/unifi-protect-backup 2022-07-20 11:57:05 +02:00
ajs124
73ad01f7d3 unifi-protect-backup: init at 0.7.1 2022-07-20 11:49:31 +02:00
kilianar
ea635c0c30 logseq: 0.7.6 -> 0.7.7
https://github.com/logseq/logseq/releases/tag/0.7.7
2022-07-20 10:31:57 +02:00
Mario Rodas
4d76a8a81f
Merge pull request #182179 from marsam/update-mloader
mloader: 1.1.8 -> 1.1.9
2022-07-20 02:11:28 -05:00
Lassulus
f5161e5bee
Merge pull request #181853 from kmein/cardo-font 2022-07-20 08:55:24 +02:00
Mario Rodas
513d95d08b
Merge pull request #182164 from r-ryantm/auto-update/git-machete
git-machete: 3.11.1 -> 3.11.2
2022-07-20 01:51:13 -05:00
Mario Rodas
847b77a03c
Merge pull request #182176 from r-ryantm/auto-update/python3.10-lektor
python310Packages.lektor: 3.3.4 -> 3.3.5
2022-07-20 01:50:44 -05:00
Mario Rodas
7221e71136
Merge pull request #182159 from marsam/update-fastlane
fastlane: 2.207.0 -> 2.208.0
2022-07-20 01:49:32 -05:00
Elis Hirwing
ee480d0711
Merge pull request #182110 from drupol/php/update-composer
php81Packages.composer: 2.3.7 -> 2.3.10
2022-07-20 08:01:48 +02:00
R. Ryantm
0cc7e431b5 python310Packages.lektor: 3.3.4 -> 3.3.5 2022-07-20 05:56:03 +00:00
Winter
acc15208ee
Merge pull request #181962 from fortuneteller2k/elfcat
elfcat: 0.1.7 -> 0.1.8
2022-07-20 01:44:24 -04:00
Winter
0d67d568c9
Merge pull request #181975 from sikmir/tile38
tile38: 1.28.0 → 1.29.0
2022-07-20 01:16:41 -04:00
Winter
dd4fe67ac0
Merge pull request #182038 from natsukium/dssp/init
dssp: init at 4.0.5
2022-07-20 01:06:16 -04:00
Winter
e253f12eb2
Merge pull request #182145 from thiagokokada/osu-bump
osu-lazer: 2022.709.1 -> 2022.719.0
2022-07-20 01:00:34 -04:00
Aaron L. Zeng
50d9adfa8a Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15
This is a follow-up to #166033 adding a patch for coqPackages.serapi
so that it builds successfully with the new Jane Street OCaml
packages.  I did not upstream this patch because
upstream (coq-serapi-v8.16) already includes commits mentioning Jane
Street 0.15 compatibility with a similar patch.
2022-07-20 06:56:35 +02:00
Mario Rodas
35a81f2925
Merge pull request #180848 from kilianar/imgcat
imgcat: 2.3.1 -> 2.5.1
2022-07-19 23:41:44 -05:00
Winter
fa9030465e
Merge pull request #182126 from pbsds/polaris-os-24
nixos/tests/polaris: fix type check fail
2022-07-20 00:24:05 -04:00
Mario Rodas
8cd5499337 nbd: fix build on darwin 2022-07-20 04:20:00 +00:00
Mario Rodas
fecbff685e mloader: 1.1.8 -> 1.1.9
https://github.com/hurlenko/mloader/releases/tag/1.1.9
2022-07-20 04:20:00 +00:00
Mario Rodas
c23e9c6a4d nbd: add tls support 2022-07-19 23:20:00 -05:00
Mario Rodas
614a842b74
Merge pull request #180426 from r-ryantm/auto-update/bitwig-studio
bitwig-studio: 4.2.3 -> 4.3.1
2022-07-19 23:19:55 -05:00
Mario Rodas
a71cc944ad
Merge pull request #180648 from r-ryantm/auto-update/cmdstan
cmdstan: 2.29.2 -> 2.30.0
2022-07-19 23:18:47 -05:00
Mario Rodas
7bc6fbcd8b
Merge pull request #181420 from r-ryantm/auto-update/brave
brave: 1.40.113 -> 1.41.96
2022-07-19 23:17:04 -05:00
Mario Rodas
69fad671f5
Merge pull request #181751 from ardumont/bump-espon-espcr-1.7.20
epson-escpr: 1.7.16 -> 1.7.20
2022-07-19 23:15:54 -05:00
Mario Rodas
65d50cfa85
Merge pull request #181817 from r-ryantm/auto-update/python310Packages.advantage-air
python310Packages.advantage-air: 0.3.1 -> 0.4.1
2022-07-19 23:14:48 -05:00
Mario Rodas
e742674265
Merge pull request #181929 from bezmuth/master
dino: add webrtc-audio-processing dependency
2022-07-19 23:11:09 -05:00
Mario Rodas
d39e1c8ecf
Merge pull request #182029 from r-ryantm/auto-update/rofimoji
rofimoji: 5.4.0 -> 5.5.0
2022-07-19 23:09:59 -05:00
Mario Rodas
4243d0b376
Merge pull request #182040 from r-ryantm/auto-update/gitRepo
gitRepo: 2.25 -> 2.28
2022-07-19 23:09:40 -05:00
Mario Rodas
dd5795a0e4
Merge pull request #182022 from StephenWithPH/duplicity-0.8.23
duplicity: 0.8.20 -> 0.8.23
2022-07-19 23:08:09 -05:00
R. Ryantm
2270e61b78 git-machete: 3.11.1 -> 3.11.2 2022-07-20 03:09:30 +00:00
Anderson Torres
5342fc6fb5
Merge pull request #182030 from AndersonTorres/tcc
tinycc: 2022-01-11 -> 2022-07-15
2022-07-19 23:53:52 -03:00
Mario Rodas
edcdcd8ed0
Merge pull request #181442 from lammermann/submit/update-tuhi-06
tuhi: 0.5 -> 0.6
2022-07-19 21:51:38 -05:00
zowoq
44d9956021 lima: 0.11.1 -> 0.11.2
https://github.com/lima-vm/lima/releases/tag/v0.11.2
2022-07-20 12:35:11 +10:00
Winter
32162fac06
Merge pull request #180881 from devusb/awscli2-2.7.14
awscli2: 2.7.9 -> 2.7.14
2022-07-19 22:31:19 -04:00
Mario Rodas
2e5b0b553a
Merge pull request #182156 from happyalu/grpc-gateway-2.11.0
grpc-gateway: 2.10.3 -> 2.11.0
2022-07-19 21:14:11 -05:00