Commit Graph

129641 Commits

Author SHA1 Message Date
Leah Neukirchen 37d726c9f4 mathcomp: rebuild for coq-8.12.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen d3fe2449fc coq: update to 8.12.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 444cd37453 xen: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 0503c32c16 libguestfs: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 46f607d5ab zeroinstall: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 4c97a62a83 z3: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 3f4b177a14 unison: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 598c96c51c supermin: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 7480c033fa polygen: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen e3f0fdd434 pdfsandwich: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 7ceacc62b8 ocaml-lablgtk2: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen b6934fd6a1 opam: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 1581a7f6c5 hivex: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen ef4286df8b coccinelle: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen a852b26f5b camlp5: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen f3f0a38b63 ocamlbuild: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 3dbe4b39cd ocaml-findlib: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 848615bc45 ocaml-zarith: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 75e481cad3 ocaml-num: rebuild for ocaml-4.11.0. 2020-08-20 17:01:21 +02:00
Leah Neukirchen 2fa4983922 ocaml: update to 4.11.0. 2020-08-20 17:01:21 +02:00
Andrew J. Hesford c77281bde6 python3-breathe: update to 4.20.0. 2020-08-20 10:57:10 -04:00
teldra a8ca77b18d volctl: update to 0.7.8
Closes: #24364 [via git-merge-pr]
2020-08-20 10:39:02 -04:00
teldra f8a541a087 portage: update to 3.0.3
Closes: #24365 [via git-merge-pr]
2020-08-20 10:18:56 -04:00
Luke Hannan 81f5508422 rofi-calc: update to 1.8.
Closes: #24380 [via git-merge-pr]
2020-08-20 10:14:13 -04:00
Frank Steinborn e57eb84f86 xterm: update to 359.
Closes: #24374 [via git-merge-pr]
2020-08-20 10:13:40 -04:00
Karl Nilsson 9c404e81f4 python3-zeroconf: update to 0.28.1.
Closes: #24362 [via git-merge-pr]
2020-08-20 10:10:18 -04:00
Piotr Wójcik 60b6e49aaf python3-pluggy: ignore dev versions 2020-08-20 14:49:41 +02:00
Piotr Wójcik 5da35c5175 tox: update to 3.19.0. 2020-08-20 14:49:41 +02:00
Piotr Wójcik db98e40479 postgis-postgresql12: update to 3.0.2. 2020-08-20 14:49:41 +02:00
Piotr Wójcik eddd5ecc12 postgis: update to 3.0.2. 2020-08-20 14:49:41 +02:00
Piotr Wójcik 9c534987ca postgresql12: update to 12.4. 2020-08-20 14:49:41 +02:00
Nopey Nope fbd25d29cb discord: add update script
This API endpoint is used by the app, and so should be stable.
The app also passes the version, but leaving it out seemingly doesn't cause problems.
ex request: https://discordapp.com/api/updates/stable?platform=linux&version=0.0.10
2020-08-20 14:24:56 +02:00
Piotr Wójcik a1b5b8a4b5 kaccounts-providers: update to 20.08.0. 2020-08-20 13:18:59 +02:00
Piraty 6ccad139ac keepassxc: update to 2.6.1. 2020-08-20 11:39:09 +02:00
Leah Neukirchen f0fc05b8f5 ugrep: update to 2.5.3. 2020-08-20 10:47:37 +02:00
Michael Aldridge 7135d82505 terragrunt: update to 0.23.33 2020-08-20 01:49:10 -07:00
Enno Boland 079806d936
fprintd: fix dbus config path 2020-08-20 10:38:32 +02:00
Zach Dykstra 24fc33ae25 zfsbootmenu: update to 1.4.1
Closes: #24376 [via git-merge-pr]
2020-08-19 23:52:15 -04:00
Johannes eef4419131 ImageMagick6: update to 6.9.11.28. 2020-08-20 00:22:48 +02:00
Johannes 0c94b48dd7 ImageMagick: update to 7.0.10.28. 2020-08-20 00:22:48 +02:00
Johannes c9c6a2ba22 wireshark: update to 3.2.6. 2020-08-20 00:13:16 +02:00
Noel Cower 6fec646f97 tailscale: update to 1.0.5. 2020-08-20 00:12:59 +02:00
Gerardo Di Iorio d2913c7e16 minio: update to 2020.08.16. 2020-08-20 00:12:45 +02:00
Isaac Freund c0184d8341 fuzzel: update to 1.4.2. 2020-08-20 00:12:29 +02:00
Jan Christian Grünhage 759a454ba4 topgrade: update to 5.5.0. 2020-08-20 00:12:08 +02:00
Johannes f495678fcb libressl: update to 3.1.4. 2020-08-19 23:35:29 +02:00
Piotr Wójcik a120384874 yakuake: update to 20.08.0. 2020-08-19 17:18:50 +02:00
Piotr Wójcik 3725d8dc67 umbrello: update to 20.08.0. 2020-08-19 17:18:50 +02:00
Piotr Wójcik c8b50e9b59 svgpart: update to 20.08.0. 2020-08-19 17:18:50 +02:00
Piotr Wójcik 42bded968d signon-kwallet-extension: update to 20.08.0. 2020-08-19 17:18:50 +02:00