nixpkgs/pkgs
ajs124 33e8308dbc lean2: remove after being marked broken for over two years
It was marked in commit 5aa4b19946 by Linus Heckemann on 2019-10-07 (commited on 2019-10-08)
2022-04-03 16:14:16 +01:00
..
applications lean2: remove after being marked broken for over two years 2022-04-03 16:14:16 +01:00
build-support Merge pull request #164943 from ElvishJerricco/systemd-initrd-reuse-systemd-module 2022-04-03 15:53:02 +02:00
common-updater
data Merge master into haskell-updates 2022-04-03 00:11:52 +00:00
desktops Merge pull request #165873 from symphorien/rkjnsn-master 2022-04-03 15:09:08 +00:00
development inav: remove after being marked broken for over two years 2022-04-03 16:14:16 +01:00
games openttd-jgrpp: Add optional but recommended zstd dependency 2022-04-03 13:52:24 +02:00
misc treewide: move autoconf, automake to nativeBuildInputs 2022-03-30 20:17:24 -05:00
os-specific Merge pull request #164943 from ElvishJerricco/systemd-initrd-reuse-systemd-module 2022-04-03 15:53:02 +02:00
pkgs-lib formats.javaProperties: Add comment 2022-04-01 15:19:45 +02:00
servers roapi-http: init at 0.6.0 2022-04-03 07:58:14 -04:00
shells oh-my-zsh: 2022-03-29 -> 2022-03-31 2022-03-31 19:45:46 +00:00
stdenv Merge pull request #166430 from alyssais/openssl-static-retry 2022-04-02 12:59:55 +00:00
test tests: Add pkgs-lib 2022-04-01 15:19:45 +02:00
tools gnokii: remove after being marked broken for over two years 2022-04-03 16:14:14 +01:00
top-level lean2: remove after being marked broken for over two years 2022-04-03 16:14:16 +01:00