Kierán Meinhardt 815d940e52 tamarin-prover: mark as broken because upstream is broken

2019-09-24 15:25:43 +02:00

..

applications

tamarin-prover: mark as broken because upstream is broken

2019-09-24 15:25:43 +02:00

build-support

Merge pull request #65817 from bgamari/add-appimage-deps

2019-09-23 21:36:30 +01:00

common-updater

…

data

matcha: 2019-07 -> 2019-09-23

2019-09-23 06:23:51 -03:00

desktops

Revert "Merge branch 'staging-next'"

2019-09-21 20:05:09 +02:00

development

Merge pull request #69337 from vbgl/ocamlformat-0.11.0

2019-09-24 10:54:25 +01:00

games

Merge pull request #69097 from peterhoeg/u/hedgewars

2019-09-24 10:52:09 +08:00

misc

Merge pull request #69314 from paulreimer/vim-plugins-ShowMultiBase

2019-09-24 03:44:24 +01:00

os-specific

Merge pull request #69120 from mweinelt/pr/piper/0.3

2019-09-24 06:55:35 +01:00

servers

knot-dns: 2.8.3 -> 2.8.4

2019-09-24 12:57:25 +02:00

shells

zsh-completions: 0.30.0 -> 0.31.0

2019-09-21 02:54:36 -05:00

stdenv

stdenv/adapters.nix: remove static from makeStaticLibraries

2019-09-19 12:52:28 -04:00

test

…

tools

graylog-plugin-auth-sso: 3.0.0 -> 3.1.0

2019-09-24 10:08:47 +00:00

top-level

check-openvpn: init at 0.0.1 (#69301)

2019-09-24 14:53:21 +08:00