|
agda-pkg |
0.1.50
|
1 |
|
|
|
|
agdawithpackages |
2.6.1
|
1 |
|
|
|
|
ankisyncd |
2.1.0
|
1 |
|
|
|
|
ardour-5∗
|
5.12
|
1 |
|
|
|
|
asls |
0.4.0
|
1 |
|
|
|
|
av∗
|
98-1.0.2dev
|
1 |
|
|
|
|
awscli2∗
|
2.0.26
|
1 |
|
|
|
|
barlow∗
|
1.422
|
1 |
|
|
|
|
bashcards |
0.1.2
|
1 |
|
|
|
|
bat-extras-batdiff∗
|
20200515-dev
|
1 |
|
|
|
|
bat-extras-batgrep∗
|
20200515-dev
|
1 |
|
|
|
|
bat-extras-batman∗
|
20200515-dev
|
1 |
|
|
|
|
bat-extras-batwatch∗
|
20200515-dev
|
1 |
|
|
|
|
bat-extras-prettybat∗
|
20200515-dev
|
1 |
|
|
|
|
bazel-kazel |
0.0.10
|
1 |
|
|
|
|
beetle-psx-hw∗
|
2020-03-06
|
1 |
|
|
|
|
biblatex-check |
2019-11-09
|
1 |
|
|
|
|
bitcoind-knots |
0.20.0
|
1 |
|
|
|
|
break-time∗
|
0.1.1
|
1 |
|
|
|
|
broken-sword∗
|
2.5-1.0
|
1 |
|
|
|
|
brotab |
1.3.0
|
1 |
|
|
|
|
btcdeb |
0.2.19
|
1 |
|
|
|
|
buildah-wrapper∗
|
1.15.1
|
1 |
|
|
|
|
buildkite-cli |
1.1.0
|
1 |
|
|
|
|
cached-nix-shell∗
|
0.1.3
|
1 |
|
|
|
|
cargo-tarpaulin∗
|
0.14.2
|
1 |
|
|
|
|
cbeams∗
|
1.0.3
|
1 |
|
|
|
|
cdetheme |
1.3
|
1 |
|
|
|
|
clingcon∗
|
3.3.0
|
1 |
|
|
|
|
cm-rgb |
0.3.4
|
1 |
|
|
|
|
codebraid |
0.5.0-unstable-2020-07-01
|
1 |
|
|
|
|
coq8.9-paco∗
|
4.0.0
|
1 |
|
|
|
|
coq8.9mathcomp1.10.0-analysis∗
|
0.2.3
|
1 |
|
|
|
|
coq8.9mathcomp1.10.0-bigenough∗
|
1.0.0
|
1 |
|
|
|
|
coq8.9mathcomp1.10.0-coqeal∗
|
1.0.3
|
1 |
|
|
|
|
coq8.9mathcomp1.10.0-finmap∗
|
1.4.0
|
1 |
|
|
|
|
coq8.9mathcomp1.10.0-multinomials∗
|
1.5
|
1 |
|
|
|
|
coq8.9mathcomp1.10.0-real-closed∗
|
1.0.4
|
1 |
|
|
|
|
cot∗
|
2.2.1
|
1 |
|
|
|
|
cozette∗
|
1.8.3
|
1 |
|
|
|
|
cramfsprogs |
1.1
|
1 |
|
|
|
|
cri-o-wrapper∗
|
1.18.3
|
1 |
|
|
|
|
deltachat-electron∗
|
1.3.0
|
1 |
|
|
|
|
docker-machine-hyperkit |
1.12.2
|
1 |
|
|
|
|
durandal∗
|
20150620
|
1 |
|
|
|
|
easypdkprog∗
|
1.3
|
1 |
|
|
|
|
edid-generator |
2018-03-15
|
1 |
|
|
|
|
edukai∗
|
4.0
|
1 |
|
|
|
|
eduli∗
|
3.0
|
1 |
|
|
|
|
edusong∗
|
1.0
|
1 |
|
|
|
| Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
|
elasticsearch-analysis-icu |
6.8.3
|
1 |
|
|
|
|
elasticsearch-analysis-phonetic |
6.8.3
|
1 |
|
|
|
|
eliot-tree |
19.0.1
|
1 |
|
|
|
|
emu2 |
2020-06-04
|
1 |
|
|
|
|
evilpixie |
0.2
|
1 |
|
|
|
|
faust2jackrust∗
|
2020-06-08
|
1 |
|
|
|
|
finalfrontier |
0.9.4
|
1 |
|
|
|
|
finalfusion-utils |
0.11.2
|
1 |
|
|
|
|
fitnesstrax∗
|
0.1.0
|
1 |
|
|
|
|
flutter-stable∗
|
1.17.5
|
1 |
|
|
|
|
fluxboxlauncher |
0.2.1
|
1 |
|
|
|
|
fts-xapian∗
|
1.3.1
|
1 |
|
|
|
|
fuzzel |
1.3.0
|
1 |
|
|
|
|
fverb |
2020-06-09
|
1 |
|
|
|
|
fx-cast-bridge∗
|
0.0.6
|
1 |
|
|
|
|
g933-utils |
2019-08-04
|
1 |
|
|
|
|
gdc-wrapper∗
|
9.3.0
|
1 |
|
|
|
|
genpass∗
|
0.4.1
|
1 |
|
|
|
|
gentoo-gnatboot-wrapper∗
|
4.1
|
1 |
|
|
|
|
genxword |
2.0.1
|
1 |
|
|
|
|
git-my |
1.1.2
|
1 |
|
|
|
|
git-subset∗
|
0.1.1
|
1 |
|
|
|
|
gjo |
1.0.3
|
1 |
|
|
|
|
gnat-wrapper∗
|
10.1.0
9.3.0
6.5.0
|
1 |
|
|
|
|
gnome-shell-emoji-selector∗
|
19
|
1 |
|
|
|
|
gnome-shell-extension-window-is-ready-remover |
1.02
|
1 |
|
|
|
|
go:license-detector∗
|
3.1.0
|
1 |
|
|
|
|
go:neb |
2020-04-09
|
1 |
|
|
|
|
goattracker-stereo∗
|
2.76
|
1 |
|
|
|
|
gopacked |
0.4.1
|
1 |
|
|
|
|
gpio-utils |
5.4.56
|
1 |
|
|
|
|
gspeech |
0.9.2
|
1 |
|
|
|
|
hal-hardware-analyzer∗
|
2.0.0
|
1 |
|
|
|
|
haskell:bytebuild |
0.3.6.0
|
1 |
|
|
|
|
haskell:haskell-language-server∗
|
0.2.2.0
|
1 |
|
|
|
|
hercules-ci-agent∗
|
0.7.3
|
1 |
|
|
|
|
highfive-mpi∗
|
2.2
|
1 |
|
|
|
|
hpcg |
3.1
|
1 |
|
|
|
|
http2tcp |
0.5
|
1 |
|
|
|
|
humioctl |
0.26.0
|
1 |
|
|
|
|
hunspell-dict-cs-cz-libreoffice∗
|
6.3.0.4
|
1 |
|
|
|
|
hunspell-dict-sk-sk-libreoffice∗
|
6.3.0.4
|
1 |
|
|
|
|
hwi∗
|
1.1.2
|
1 |
|
|
|
|
hydra-check∗
|
1.1.1
|
1 |
|
|
|
|
hyp2mat |
0.0.17
|
1 |
|
|
|
|
icepeak∗
|
0.7.3.0
|
1 |
|
|
|
|
iconpack-jade |
1.23
|
1 |
|
|
|
|
impy |
0.1
|
1 |
|
|
|
|
industrializer∗
|
0.2.6
|
1 |
|
|
|
|
inkscape-0∗
|
0.92.5
|
1 |
|
|
|
| Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
|
isolyzer |
1.3.0
|
1 |
|
|
|
|
it++∗
|
4.3.1
|
1 |
|
|
|
|
itk-tcl∗
|
4.1.0
|
1 |
|
|
|
|
jabcode-library∗
|
2020-05-13
|
1 |
|
|
|
|
jabcode-reader∗
|
2020-05-13
|
1 |
|
|
|
|
jabcode-writer∗
|
2020-05-13
|
1 |
|
|
|
|
jetbrains-jdk∗
|
11.0.7-b64
|
1 |
|
|
|
|
jirafeau |
4.1.1
|
1 |
|
|
|
|
jitsi-videobridge2∗
|
2.1-202-g5f9377b9
|
1 |
|
|
|
|
kaggle∗
|
1.5.6
|
1 |
|
|
|
|
kbs2∗
|
0.1.3
|
1 |
|
|
|
|
keylight-exporter |
0.1.1
|
1 |
|
|
|
|
khronos |
1.0.8
|
1 |
|
|
|
|
kicad-base∗
|
5.1.6
|
1 |
|
|
|
|
kicad-unstable-small∗
|
2020-07-21
|
1 |
|
|
|
|
kopia |
0.5.2
|
1 |
|
|
|
|
kramdown-asciidoc∗
|
1.0.1
|
1 |
|
|
|
|
kubernix∗
|
0.2.0
|
1 |
|
|
|
|
libayatana-appindicator-gtk2∗
|
0.5.4
|
1 |
|
|
|
|
libayatana-appindicator-gtk3∗
|
0.5.4
|
1 |
|
|
|
|
libayatana-indicator-gtk2∗
|
0.6.3
|
1 |
|
|
|
|
libayatana-indicator-gtk3∗
|
0.6.3
|
1 |
|
|
|
|
libe57format |
2.1
|
1 |
|
|
|
|
liberio |
2019-12-11
|
1 |
|
|
|
|
libgen-cli |
1.0.7
|
1 |
|
|
|
|
libpam-wrapper∗
|
1.1.3
|
1 |
|
|
|
|
libprom∗
|
0.1.1
|
1 |
|
|
|
|
libpromhttp∗
|
0.1.1
|
1 |
|
|
|
|
libretro-fbalpha2012∗
|
2020-03-06
|
1 |
|
|
|
|
libretro-tic80∗
|
2020-03-06
|
1 |
|
|
|
|
licensee |
9.14.0
|
1 |
|
|
|
|
lieer |
1.2
|
1 |
|
|
|
|
lightdm-tiny-greeter |
1.2
|
1 |
|
|
|
|
line-awesome |
1.3.0
|
1 |
|
|
|
|
lisp-cl-change-case |
20191007-git
|
1 |
|
|
|
|
lisp-dissect |
20190710-git
|
1 |
|
|
|
|
lisp-rove |
20191007-git
|
1 |
|
|
|
|
lnch |
2017-02-16
|
1 |
|
|
|
|
lndmon |
2020-01-09
|
1 |
|
|
|
|
lua:ldbus-scm∗
|
0
|
1 |
|
|
|
|
lucky-cli |
0.21.0
|
1 |
|
|
|
|
lvm2with-dmeventd∗
|
2.03.09
|
1 |
|
|
|
|
magic-vlsi∗
|
8.3.5
|
1 |
|
|
|
|
malcontent-ui∗
|
0.8.0
|
1 |
|
|
|
|
marathon-eternal∗
|
1.2.0
|
1 |
|
|
|
|
marathon-pheonix∗
|
1.3
|
1 |
|
|
|
|
martin |
0.5.0
|
1 |
|
|
|
|
marwaita |
2020-07-01
|
1 |
|
|
|
|
matrix-dl |
2019-09-22
|
1 |
|
|
|
|
mcy |
2020.07.06
|
1 |
|
|
|
| Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
|
meli-alpha∗
|
0.5.1
|
1 |
|
|
|
|
merriweather-sans∗
|
1.008
|
1 |
|
|
|
|
metal |
2.1.1
|
1 |
|
|
|
|
mikrotik-exporter |
2020-02-10
|
1 |
|
|
|
|
minijail-tools |
14
|
1 |
|
|
|
|
mlflow-server∗
|
1.8.0
|
1 |
|
|
|
|
mlv-app |
1.11
|
1 |
|
|
|
|
mockgen∗
|
1.4.4
|
1 |
|
|
|
|
modemmanager-exporter |
0.1.0
|
1 |
|
|
|
|
molly-brown |
2020-07-06
|
1 |
|
|
|
|
mpv-convert-script |
2016-03-18
|
1 |
|
|
|
|
navilu-font∗
|
1.2
|
1 |
|
|
|
|
nimmm |
0.1.2
|
1 |
|
|
|
|
nix-query-tree-viewer∗
|
0.2.0
|
1 |
|
|
|
|
nix-simple-deploy∗
|
0.1.1
|
1 |
|
|
|
|
nix-tree∗
|
0.1.0.0
|
1 |
|
|
|
|
nix-update |
0.1
|
1 |
|
|
|
|
nixos-shell |
0.1.1
|
1 |
|
|
|
|
node-create-elm-app∗
|
4.2.26
|
1 |
|
|
|
|
node-mastodon-bot |
1.0.4
|
1 |
|
|
|
|
node-matrix-appservice-discord |
0.5.2
|
1 |
|
|
|
|
node-postcss-cli |
7.1.1
|
1 |
|
|
|
|
node-redoc-cli∗
|
0.9.10
|
1 |
|
|
|
|
node-yaml-language-server∗
|
0.9.0
|
1 |
|
|
|
|
node-zigbee2mqtt |
1.14.2
|
1 |
|
|
|
|
noto-fonts-emoji-blob-bin∗
|
2019-06-14-Emoji-12
|
1 |
|
|
|
|
nxpmicro-mfgtools∗
|
1.3.191
|
1 |
|
|
|
|
nym |
0.7.0
|
1 |
|
|
|
|
ocaml4.10.0∗
|
2.1.3
|
1 |
|
|
|
|
ocaml:afl-persistent |
1.3
|
1 |
|
|
|
|
ocaml:beluga∗
|
2020-03-11
|
1 |
|
|
|
|
ocaml:bigarray-overlap |
0.2.0
|
1 |
|
|
|
|
ocaml:crowbar |
0.2
|
1 |
|
|
|
|
ocaml:curly |
2019-11-14
|
1 |
|
|
|
|
ocaml:dns∗
|
4.6.1
|
1 |
|
|
|
|
ocaml:dns-client∗
|
4.6.1
|
1 |
|
|
|
|
ocaml:dune-build-info∗
|
2.6.2
|
1 |
|
|
|
|
ocaml:dune-release |
1.4.0
|
1 |
|
|
|
|
ocaml:duration |
0.1.3
|
1 |
|
|
|
|
ocaml:fiat-p256 |
0.2.1
|
1 |
|
|
|
|
ocaml:functoria-runtime∗
|
3.1.0
|
1 |
|
|
|
|
ocaml:gettext-stub∗
|
0.4.2
|
1 |
|
|
|
|
ocaml:google-drive-ocamlfuse∗
|
0.7.21
|
1 |
|
|
|
|
ocaml:graphql-ppx |
0.7.1
|
1 |
|
|
|
|
ocaml:hacl-x25519 |
0.1.1
|
1 |
|
|
|
|
ocaml:hkdf |
1.0.4
|
1 |
|
|
|
|
ocaml:io-page-unix∗
|
2.3.0
|
1 |
|
|
|
|
ocaml:ipaddr-cstruct∗
|
5.0.0
|
1 |
|
|
|
|
ocaml:ipaddr-sexp∗
|
5.0.0
|
1 |
|
|
|
|
ocaml:macaddr-cstruct∗
|
5.0.0
|
1 |
|
|
|