|
adslib |
2020-08-28
|
1 |
|
|
|
|
amule-unstable-daemon∗
|
20201006
|
1 |
|
|
|
|
amule-unstable-gui∗
|
20201006
|
1 |
|
|
|
|
apprise∗
|
0.9.0
|
1 |
|
|
|
|
arduino-ci |
0.2.0
|
1 |
|
|
|
|
as-tree |
0.12.0
|
1 |
|
|
|
|
asciinema-scenario∗
|
0.1.0
|
1 |
|
|
|
|
asterisk-module-sccp |
4.3.2-epsilon
|
1 |
|
|
|
|
aws-nuke |
2.14.0
|
1 |
|
|
|
|
backintime-qt∗
|
1.2.1
|
1 |
|
|
|
|
barebox-hosttools-defconfig |
2020.12.0
|
1 |
|
|
|
|
bumpver |
2020.1108
|
1 |
|
|
|
|
cakelisp |
0.1.0
|
1 |
|
|
|
|
cargo-sync-readme∗
|
1.0
|
1 |
|
|
|
|
cargo-wipe∗
|
0.3.0
|
1 |
|
|
|
|
catfs∗
|
2020-03-21
|
1 |
|
|
|
|
charm-unclassified∗
|
0.8.5
|
1 |
|
|
|
|
clintermission∗
|
0.2.0
|
1 |
|
|
|
|
clonehero-unwrapped∗
|
0.23.2.2
|
1 |
|
|
|
|
cloudbrute |
1.0.7
|
1 |
|
|
|
|
cmake-boot∗
|
3.19.2
|
1 |
|
|
|
|
convbin |
3.0
|
1 |
|
|
|
|
convfont |
1.0
|
1 |
|
|
|
|
convimg |
8.3
|
1 |
|
|
|
|
coq8.11-coqeal∗
|
1.0.4
|
1 |
|
|
|
|
coq8.11-mathcomp1.11-abel |
1.0.0
|
1 |
|
|
|
|
coq8.11-mathcomp1.11-analysis∗
|
0.3.1
|
1 |
|
|
|
|
coq8.11-mathcomp1.11-bigenough∗
|
1.0.0
|
1 |
|
|
|
|
coq8.11-mathcomp1.11-finmap∗
|
1.5.1
|
1 |
|
|
|
|
coq8.11-mathcomp1.11-multinomials∗
|
1.5.2
|
1 |
|
|
|
|
coq8.11-mathcomp1.11-real-closed∗
|
1.1.1
|
1 |
|
|
|
|
coq8.11-vst |
2.6
|
1 |
|
|
|
|
crcpp |
1.0.1.0
|
1 |
|
|
|
|
cshatag |
2019-12-03
|
1 |
|
|
|
|
deepsea |
0.9
|
1 |
|
|
|
|
dhall-docs∗
|
1.0.3
|
1 |
|
|
|
|
discocss |
0.1.0
|
1 |
|
|
|
|
disfetch |
1.13
|
1 |
|
|
|
|
dnadd |
1.0.0
|
1 |
|
|
|
|
dracula-theme∗
|
2.0
|
1 |
|
|
|
|
dydisnix |
2020-07-04
|
1 |
|
|
|
|
epgstation∗
|
1.7.5
|
1 |
|
|
|
|
expenses |
0.2.1
|
1 |
|
|
|
|
fac-build |
0.5.3
|
1 |
|
|
|
|
fcitx5-with-addons∗
|
5.0.3
|
1 |
|
|
|
|
feeds∗
|
0.16.1
|
1 |
|
|
|
|
fishplugin-foreign-env |
20200209
|
1 |
|
|
|
|
fishplugin-pure |
3.4.2
|
1 |
|
|
|
|
fluxcd∗
|
0.6.0
|
1 |
|
|
|
|
fraunces∗
|
1.000
|
1 |
|
|
|
| Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
|
gauche-bootstrap∗
|
0.9.9
|
1 |
|
|
|
|
gcadapter-oc-kmod |
1.4
|
1 |
|
|
|
|
ghorg |
1.4.0
|
1 |
|
|
|
|
git-delete-merged-branches |
6.0.5
|
1 |
|
|
|
|
git-vanity-hash |
2020-02-26-unstable
|
1 |
|
|
|
|
gitlab-triage |
1.13.0
|
1 |
|
|
|
|
gnome-session-ctl |
3.38.0
|
1 |
|
|
|
|
gnome-shell-extension-unite-shell∗
|
44
|
1 |
|
|
|
|
gnome-shell-freon∗
|
40
|
1 |
|
|
|
|
gnuradio-wrapped∗
|
3.8.2.0
3.7.14.0
|
1 |
|
|
|
|
go:libp2p-daemon |
0.3.0
|
1 |
|
|
|
|
go:minimock |
3.0.8
|
1 |
|
|
|
|
go:swag |
1.6.7
|
1 |
|
|
|
|
graphql-engine∗
|
1.3.1-beta1
|
1 |
|
|
|
|
haskell-language-server∗
|
0.8.0.0
|
1 |
|
|
|
|
haskell:hls-tactics-plugin |
0.5.1.0
|
1 |
|
|
|
|
haskell:ldgallery-compiler∗
|
2.0
|
1 |
|
|
|
|
haskell:nix-output-monitor∗
|
0.1.0.2
|
1 |
|
|
|
|
hello-wayland |
2020-07-27
|
1 |
|
|
|
|
hubsrht |
0.11.5
|
1 |
|
|
|
|
i3altlayout∗
|
0.3
|
1 |
|
|
|
|
idris-array |
2016-10-14
|
1 |
|
|
|
|
idris-base∗
|
1.3.3
|
1 |
|
|
|
|
idris-bi |
2018-06-25
|
1 |
|
|
|
|
idris-bytes |
2018-02-10
|
1 |
|
|
|
|
idris-canvas |
2017-11-09
|
1 |
|
|
|
|
idris-categories |
2018-07-02
|
1 |
|
|
|
|
idris-coda |
2018-01-25
|
1 |
|
|
|
|
idris-comonad |
2018-02-26
|
1 |
|
|
|
|
idris-composition |
2017-11-12
|
1 |
|
|
|
|
idris-config |
2017-11-06
|
1 |
|
|
|
|
idris-console |
2017-04-20
|
1 |
|
|
|
|
idris-containers |
2017-09-10
|
1 |
|
|
|
|
idris-contrib∗
|
1.3.3
|
1 |
|
|
|
|
idris-cube |
2017-07-05
|
1 |
|
|
|
|
idris-data |
2018-03-19
|
1 |
|
|
|
|
idris-derive |
2018-07-02
|
1 |
|
|
|
|
idris-descncrunch |
2017-11-15
|
1 |
|
|
|
|
idris-dict |
2016-12-26
|
1 |
|
|
|
|
idris-dom |
2017-04-22
|
1 |
|
|
|
|
idris-effects∗
|
1.3.3
|
1 |
|
|
|
|
idris-electron |
2016-03-07
|
1 |
|
|
|
|
idris-eternal |
2018-07-02
|
1 |
|
|
|
|
idris-extras |
2018-03-06
|
1 |
|
|
|
|
idris-farrp |
2018-02-13
|
1 |
|
|
|
|
idris-free |
2017-07-03
|
1 |
|
|
|
|
idris-fsm |
2017-04-16
|
1 |
|
|
|
|
idris-glfw |
2016-12-05
|
1 |
|
|
|
|
idris-graphviz |
2017-01-16
|
1 |
|
|
|
|
idris-hamt |
2016-11-15
|
1 |
|
|
|
| Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
|
idris-hezarfen |
2018-02-03
|
1 |
|
|
|
|
idris-hrtime |
2017-04-16
|
1 |
|
|
|
|
idris-html |
2017-04-23
|
1 |
|
|
|
|
idris-http |
2018-02-25
|
1 |
|
|
|
|
idris-http4idris |
2018-01-16
|
1 |
|
|
|
|
idris-iaia |
2017-11-10
|
1 |
|
|
|
|
idris-idrishighlighter |
2018-02-22
|
1 |
|
|
|
|
idris-idrisscript |
2017-07-01
|
1 |
|
|
|
|
idris-ipkgparser |
2017-11-14
|
1 |
|
|
|
|
idris-jheiling-js |
2016-03-09
|
1 |
|
|
|
|
idris-js |
2018-11-27
|
1 |
|
|
|
|
idris-logic |
2016-12-02
|
1 |
|
|
|
|
idris-mapping |
2018-02-27
|
1 |
|
|
|
|
idris-mhd |
2016-04-22
|
1 |
|
|
|
|
idris-pacman |
2017-11-10
|
1 |
|
|
|
|
idris-patricia |
2017-10-27
|
1 |
|
|
|
|
idris-permutations |
2018-01-19
|
1 |
|
|
|
|
idris-pfds |
2017-09-25
|
1 |
|
|
|
|
idris-pipes |
2017-12-02
|
1 |
|
|
|
|
idris-posix |
2017-11-18
|
1 |
|
|
|
|
idris-prelude∗
|
1.3.3
|
1 |
|
|
|
|
idris-protobuf |
2017-08-12
|
1 |
|
|
|
|
idris-pruviloj∗
|
1.3.3
|
1 |
|
|
|
|
idris-quantities |
2018-04-17
|
1 |
|
|
|
|
idris-rationals |
2017-04-29
|
1 |
|
|
|
|
idris-recursion-schemes |
2018-01-19
|
1 |
|
|
|
|
idris-refined |
2017-12-28
|
1 |
|
|
|
|
idris-sdl2 |
0.1.1
|
1 |
|
|
|
|
idris-semidirect |
2018-07-02
|
1 |
|
|
|
|
idris-setoids |
2018-06-18
|
1 |
|
|
|
|
idris-smproc |
2018-02-08
|
1 |
|
|
|
|
idris-snippets |
2018-03-17
|
1 |
|
|
|
|
idris-software-foundations |
2017-11-04
|
1 |
|
|
|
|
idris-specdris |
2018-01-23
|
1 |
|
|
|
|
idris-tap |
2017-04-08
|
1 |
|
|
|
|
idris-test |
2017-03-30
|
1 |
|
|
|
|
idris-tf-random |
2020-01-15
|
1 |
|
|
|
|
idris-tlhydra |
2017-13-26
|
1 |
|
|
|
|
idris-tomladris |
2017-11-14
|
1 |
|
|
|
|
idris-tp |
2017-08-15
|
1 |
|
|
|
|
idris-tparsec |
2020-02-11
|
1 |
|
|
|
|
idris-transducers |
2017-07-28
|
1 |
|
|
|
|
idris-trees |
2018-03-19
|
1 |
|
|
|
|
idris-union-type |
2018-01-30
|
1 |
|
|
|
|
idris-vdom |
0.6.0
|
1 |
|
|
|
|
idris-vecspace |
2018-01-12
|
1 |
|
|
|
|
idris-webgl |
2017-05-08
|
1 |
|
|
|
|
idris-wyvern |
2017-06-26
|
1 |
|
|
|
|
idris-xhr |
2017-04-22
|
1 |
|
|
|
|
idris-yaml |
2018-01-25
|
1 |
|
|
|
| Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
|
idris-yampa |
2016-07-05
|
1 |
|
|
|
|
inkscape-with-extensions∗
|
1.0.1
|
1 |
|
|
|
|
ircdog |
0.2.1
|
1 |
|
|
|
|
johnnycanencrypt |
0.5.0
|
1 |
|
|
|
|
jpexs∗
|
11.3.0
|
1 |
|
|
|
|
json-schema-for-humans∗
|
0.27.1
|
1 |
|
|
|
|
juliamono∗
|
0.022
|
1 |
|
|
|
|
kent |
404
|
1 |
|
|
|
|
kicad-base∗
|
5.1.9
|
1 |
|
|
|
|
lambda-delta |
0.98.3
|
1 |
|
|
|
|
ldgallery∗
|
2.0
|
1 |
|
|
|
|
ldutils |
1.03
|
1 |
|
|
|
|
libqt5pas∗
|
2.0.10-2
|
1 |
|
|
|
|
libschrift |
0.9.1
|
1 |
|
|
|
|
libsysprof-capture∗
|
3.38.1
|
1 |
|
|
|
|
libzra |
2020-09-11
|
1 |
|
|
|
|
lisp--3bmd-ext-code-blocks |
3bmd-20200925-git
|
1 |
|
|
|
|
lisp-access |
20151218-git
|
1 |
|
|
|
|
lisp-acclimation |
20200925-git
|
1 |
|
|
|
|
lisp-arnesi |
20170403-git
|
1 |
|
|
|
|
lisp-chanl |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk-cairo-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk-gdk-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk-gdk-pixbuf-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk-gio-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk-glib-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk-gobject-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-cffi-gtk-pango-cl-cffi-gtk |
20201016-git
|
1 |
|
|
|
|
lisp-cl-colors2 |
20200218-git
|
1 |
|
|
|
|
lisp-cl-containers |
20200427-git
|
1 |
|
|
|
|
lisp-cl-dot |
20200925-git
|
1 |
|
|
|
|
lisp-cl-locale |
20151031-git
|
1 |
|
|
|
|
lisp-cl-qprint |
20150804-git
|
1 |
|
|
|
|
lisp-cl-slice |
20171130-git
|
1 |
|
|
|
|
lisp-cl-webkit2-cl-webkit |
20201016-git
|
1 |
|
|
|
|
lisp-clfswm |
20161204-git
|
1 |
|
|
|
|
lisp-cluffer |
2018-09-24
|
1 |
|
|
|
|
lisp-clump |
20160825-git
2-3-tree-clump-20160825-git
|
1 |
|
|
|
|
lisp-clump-binary-tree-clump |
20160825-git
|
1 |
|
|
|
|
lisp-clunit |
20171019-git
|
1 |
|
|
|
|
lisp-clunit2 |
20201016-git
|
1 |
|
|
|
|
lisp-colorize |
20180228-git
|
1 |
|
|
|
|
lisp-dbi-test-cl-dbi |
20200610-git
|
1 |
|
|
|
|
lisp-djula |
20201016-git
|
1 |
|
|
|
|
lisp-enchant-cl |
20190521-git
|
1 |
|
|
|
|
lisp-fare-csv |
20171227-git
|
1 |
|
|
|
|
lisp-fare-mop |
20151218-git
|
1 |
|
|
|
|
lisp-fiveam |
20200925-git
|
1 |
|
|
|
|
lisp-gettext |
20171130-git
|
1 |
|
|
|