https://nix-community.github.io/nixpkgs-swh/sources-unstable.json
- evaluation
- http://0pointer.de/lennart/projects/keyfuzz/keyfuzz-0.2.tar.gz
- http://0pointer.de/lennart/projects/libasyncns/libasyncns-0.8.tar.gz
- http://0pointer.de/lennart/projects/libcanberra/libcanberra-0.30.tar.xz
- http://0pointer.de/lennart/projects/libdaemon//libdaemon-0.14.tar.gz
- http://0pointer.de/lennart/projects/mod_dnssd/mod_dnssd-0.6.tar.gz
- http://0pointer.de/lennart/projects/nss-mdns/nss-mdns-0.10.tar.gz
- http://0pointer.de/public/libatasmart-0.19.tar.xz
- http://0x2a.at/site/projects/djvu2pdf/djvu2pdf-0.9.2.tar.gz
- http://6xq.net/projects/pianobar/pianobar-2020.04.05.tar.bz2
- http://915resolution.mango-lang.org/915resolution-0.5.3.tar.gz
- http://abacus.gene.ucl.ac.uk/software/paml4.9j.tgz
- http://abella-prover.org/distributions/abella-2.0.6.tar.gz
- http://abook.sourceforge.net/devel/abook-0.6.1.tar.gz
- http://al.chemy.org/files/Alchemy-008.tar.gz
- http://alpine.x10host.com/alpine/release/src/alpine-2.21.tar.xz
- http://aluigi.altervista.org/mytoolz/uif2iso.zip
- http://andreas.vdr-developer.org/fonts/download/vdrsymbols-ttf-20100612.tgz
- http://apache.mirrors.hoobly.com/logging/log4cxx/0.10.0/apache-log4cxx-0.10.0.tar.gz
- http://apache.proserve.nl/axis/axis2/java/core/1.7.9/axis2-1.7.9-bin.zip
- http://archive.apache.org/dist/jena/binaries/apache-jena-3.7.0.tar.gz
- http://archive.apache.org/dist/jena/binaries/apache-jena-fuseki-3.13.1.tar.gz
- http://archive.debian.org/debian/pool/main/d/dog/dog_1.7.orig.tar.gz
- http://archive.eclipse.org/eclipse/downloads/drops4/R-4.5-201506032000/swt-4.5-gtk-linux-x86_64.zip
- http://archive.monkeysphere.info/debian/pool/monkeysphere/m/monkeysphere/monkeysphere_0.44.orig.tar.gz
- http://archive.ubuntu.com/ubuntu/pool/main/f/fonts-arphic-ukai/fonts-arphic-ukai_0.2.20080216.2.orig.tar.bz2
- http://archive.ubuntu.com/ubuntu/pool/main/f/fonts-arphic-uming/fonts-arphic-uming_0.2.20080216.2.orig.tar.bz2
- http://archive.ubuntu.com/ubuntu/pool/main/libu/libutempter/libutempter_1.1.6.orig.tar.bz2
- http://archive.ubuntu.com/ubuntu/pool/universe/d/dhcpdump/dhcpdump_1.8.orig.tar.gz
- http://archive.xfce.org/src/apps/xfce4-volumed/0.1/xfce4-volumed-0.1.13.tar.bz2
- http://archive.xfce.org/src/art/xfce4-icon-theme/4.4/xfce4-icon-theme-4.4.3.tar.bz2
- http://archive.xfce.org/src/art/xfwm4-themes/4.10/xfwm4-themes-4.10.0.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-cpugraph-plugin/1.1/xfce4-cpugraph-plugin-1.1.0.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-embed-plugin/1.6/xfce4-embed-plugin-1.6.0.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-eyes-plugin/4.5/xfce4-eyes-plugin-4.5.0.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-fsguard-plugin/1.1/xfce4-fsguard-plugin-1.1.1.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-genmon-plugin/4.0/xfce4-genmon-plugin-4.0.2.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-mailwatch-plugin/1.2/xfce4-mailwatch-plugin-1.2.0.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-mpc-plugin/0.5/xfce4-mpc-plugin-0.5.2.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-notes-plugin/1.8/xfce4-notes-plugin-1.8.1.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-sensors-plugin/1.3/xfce4-sensors-plugin-1.3.92.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-systemload-plugin/1.2/xfce4-systemload-plugin-1.2.3.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-timer-plugin/1.7/xfce4-timer-plugin-1.7.0.tar.bz2
- http://archive.xfce.org/src/panel-plugins/xfce4-weather-plugin/0.10/xfce4-weather-plugin-0.10.1.tar.bz2
- http://archiveopteryx.org/download/archiveopteryx-3.2.0.tar.bz2
- http://arrayfire.com/arrayfire_source/arrayfire-full-3.6.4.tar.bz2
- http://avr8-burn-o-mat.aaabbb.de/AVR8_Burn-O-Mat_2_1_2.zip
- http://bach.dynet.com/crip/src/crip-3.9.tar.gz
- http://beta.quicklisp.org/archive/3bmd/2017-10-19/3bmd-20171019-git.tgz
- http://beta.quicklisp.org/archive/alexandria/2019-12-27/alexandria-20191227-git.tgz
- http://beta.quicklisp.org/archive/anaphora/2019-10-07/anaphora-20191007-git.tgz
- http://beta.quicklisp.org/archive/architecture.hooks/2018-12-10/architecture.hooks-20181210-git.tgz
- http://beta.quicklisp.org/archive/array-utils/2019-07-10/array-utils-20190710-git.tgz
- http://beta.quicklisp.org/archive/asdf-flv/2016-04-21/asdf-flv-version-2.1.tgz
- http://beta.quicklisp.org/archive/asdf-package-system/2015-06-08/asdf-package-system-20150608-git.tgz
- http://beta.quicklisp.org/archive/asdf-system-connections/2017-01-24/asdf-system-connections-20170124-git.tgz
- http://beta.quicklisp.org/archive/babel/2019-11-30/babel-20191130-git.tgz
- http://beta.quicklisp.org/archive/blackbird/2016-05-31/blackbird-20160531-git.tgz
- http://beta.quicklisp.org/archive/bordeaux-threads/2019-11-30/bordeaux-threads-v0.8.7.tgz
- http://beta.quicklisp.org/archive/buildnode/2017-04-03/buildnode-20170403-git.tgz
- http://beta.quicklisp.org/archive/caveman/2019-08-13/caveman-20190813-git.tgz
- http://beta.quicklisp.org/archive/cffi/2019-07-10/cffi_0.20.1.tgz
- http://beta.quicklisp.org/archive/chipz/2019-02-02/chipz-20190202-git.tgz
- http://beta.quicklisp.org/archive/chunga/2018-01-31/chunga-20180131-git.tgz
- http://beta.quicklisp.org/archive/circular-streams/2016-12-04/circular-streams-20161204-git.tgz
- http://beta.quicklisp.org/archive/cl+ssl/2019-11-30/cl+ssl-20191130-git.tgz
- http://beta.quicklisp.org/archive/cl-annot/2015-06-08/cl-annot-20150608-git.tgz
- http://beta.quicklisp.org/archive/cl-anonfun/2011-12-03/cl-anonfun-20111203-git.tgz
- http://beta.quicklisp.org/archive/cl-ansi-text/2015-08-04/cl-ansi-text-20150804-git.tgz
- http://beta.quicklisp.org/archive/cl-async/2019-11-30/cl-async-20191130-git.tgz
- http://beta.quicklisp.org/archive/cl-base64/2015-09-23/cl-base64-20150923-git.tgz
- http://beta.quicklisp.org/archive/cl-change-case/2019-10-07/cl-change-case-20191007-git.tgz
- http://beta.quicklisp.org/archive/cl-cli/2015-12-18/cl-cli-20151218-git.tgz
- http://beta.quicklisp.org/archive/cl-colors/2018-03-28/cl-colors-20180328-git.tgz
- http://beta.quicklisp.org/archive/cl-cookie/2019-10-07/cl-cookie-20191007-git.tgz
- http://beta.quicklisp.org/archive/cl-css/2014-09-14/cl-css-20140914-git.tgz
- http://beta.quicklisp.org/archive/cl-csv/2018-08-31/cl-csv-20180831-git.tgz
- http://beta.quicklisp.org/archive/cl-dbi/2019-10-07/cl-dbi-20191007-git.tgz
- http://beta.quicklisp.org/archive/cl-emb/2019-05-21/cl-emb-20190521-git.tgz
- http://beta.quicklisp.org/archive/cl-fad/2019-08-13/cl-fad-20190813-git.tgz
- http://beta.quicklisp.org/archive/cl-fuse-meta-fs/2019-07-10/cl-fuse-meta-fs-20190710-git.tgz
- http://beta.quicklisp.org/archive/cl-fuse/2019-12-27/cl-fuse-20191227-git.tgz
- http://beta.quicklisp.org/archive/cl-html-parse/2016-10-31/cl-html-parse-20161031-git.tgz
- http://beta.quicklisp.org/archive/cl-html5-parser/2019-05-21/cl-html5-parser-20190521-git.tgz
- http://beta.quicklisp.org/archive/cl-interpol/2018-07-11/cl-interpol-20180711-git.tgz
- http://beta.quicklisp.org/archive/cl-jpeg/2017-06-30/cl-jpeg-20170630-git.tgz
- http://beta.quicklisp.org/archive/cl-json/2014-12-17/cl-json-20141217-git.tgz
- http://beta.quicklisp.org/archive/cl-l10n-cldr/2012-09-09/cl-l10n-cldr-20120909-darcs.tgz
- http://beta.quicklisp.org/archive/cl-l10n/2016-12-04/cl-l10n-20161204-darcs.tgz
- http://beta.quicklisp.org/archive/cl-libuv/2019-01-07/cl-libuv-20190107-git.tgz
- http://beta.quicklisp.org/archive/cl-markup/2013-10-03/cl-markup-20131003-git.tgz
- http://beta.quicklisp.org/archive/cl-marshal/2018-03-28/cl-marshal-20180328-git.tgz
- http://beta.quicklisp.org/archive/cl-mysql/2017-10-19/cl-mysql-20171019-git.tgz
- http://beta.quicklisp.org/archive/cl-pdf/2019-10-07/cl-pdf-20191007-git.tgz
- http://beta.quicklisp.org/archive/cl-ppcre/2019-05-21/cl-ppcre-20190521-git.tgz
- http://beta.quicklisp.org/archive/cl-prevalence/2019-11-30/cl-prevalence-20191130-git.tgz
- http://beta.quicklisp.org/archive/cl-project/2019-05-21/cl-project-20190521-git.tgz
- http://beta.quicklisp.org/archive/cl-protobufs/2018-03-28/cl-protobufs-20180328-git.tgz
- http://beta.quicklisp.org/archive/cl-reexport/2015-07-09/cl-reexport-20150709-git.tgz
- http://beta.quicklisp.org/archive/cl-smtp/2019-11-30/cl-smtp-20191130-git.tgz
- http://beta.quicklisp.org/archive/cl-sqlite/2019-08-13/cl-sqlite-20190813-git.tgz
- http://beta.quicklisp.org/archive/cl-store/2019-11-30/cl-store-20191130-git.tgz
- http://beta.quicklisp.org/archive/cl-str/2019-12-27/cl-str-20191227-git.tgz
- http://beta.quicklisp.org/archive/cl-syntax/2015-04-07/cl-syntax-20150407-git.tgz
- http://beta.quicklisp.org/archive/cl-typesetting/2017-08-30/cl-typesetting-20170830-git.tgz
- http://beta.quicklisp.org/archive/cl-unicode/2019-05-21/cl-unicode-20190521-git.tgz
- http://beta.quicklisp.org/archive/cl-unification/2019-01-07/cl-unification-20190107-git.tgz
- http://beta.quicklisp.org/archive/cl-utilities/2010-10-06/cl-utilities-1.2.4.tgz
- http://beta.quicklisp.org/archive/cl-vectors/2018-02-28/cl-vectors-20180228-git.tgz
- http://beta.quicklisp.org/archive/cl-who/2019-07-10/cl-who-20190710-git.tgz
- http://beta.quicklisp.org/archive/cl-xmlspam/2010-10-06/cl-xmlspam-20101006-http.tgz
- http://beta.quicklisp.org/archive/cl-yacc/2010-10-06/cl-yacc-20101006-darcs.tgz
- http://beta.quicklisp.org/archive/clack/2019-10-07/clack-20191007-git.tgz
- http://beta.quicklisp.org/archive/closer-mop/2019-12-27/closer-mop-20191227-git.tgz
- http://beta.quicklisp.org/archive/closure-common/2018-10-18/closure-common-20181018-git.tgz
- http://beta.quicklisp.org/archive/closure-html/2018-07-11/closure-html-20180711-git.tgz
- http://beta.quicklisp.org/archive/clsql/2016-02-08/clsql-20160208-git.tgz
- http://beta.quicklisp.org/archive/clss/2019-11-30/clss-20191130-git.tgz
- http://beta.quicklisp.org/archive/clx-truetype/2016-08-25/clx-truetype-20160825-git.tgz
- http://beta.quicklisp.org/archive/clx-xembed/2019-11-30/clx-xembed-20191130-git.tgz
- http://beta.quicklisp.org/archive/clx-xkeyboard/2012-08-11/clx-xkeyboard-20120811-git.tgz
- http://beta.quicklisp.org/archive/clx/2019-11-30/clx-20191130-git.tgz
- http://beta.quicklisp.org/archive/collectors/2016-12-04/collectors-20161204-git.tgz
- http://beta.quicklisp.org/archive/command-line-arguments/2019-12-27/command-line-arguments-20191227-git.tgz
- http://beta.quicklisp.org/archive/css-lite/2012-04-07/css-lite-20120407-git.tgz
- http://beta.quicklisp.org/archive/css-selectors/2016-06-28/css-selectors-20160628-git.tgz
- http://beta.quicklisp.org/archive/cxml-stp/2019-05-21/cxml-stp-20190521-git.tgz
- http://beta.quicklisp.org/archive/cxml/2018-10-18/cxml-20181018-git.tgz
- http://beta.quicklisp.org/archive/dbus/2019-05-21/dbus-20190521-git.tgz
- http://beta.quicklisp.org/archive/dexador/2019-10-07/dexador-20191007-git.tgz
- http://beta.quicklisp.org/archive/dissect/2019-07-10/dissect-20190710-git.tgz
- http://beta.quicklisp.org/archive/do-urlencode/2018-10-18/do-urlencode-20181018-git.tgz
- http://beta.quicklisp.org/archive/documentation-utils/2019-07-10/documentation-utils-20190710-git.tgz
- http://beta.quicklisp.org/archive/drakma/2019-11-30/drakma-v2.0.7.tgz
- http://beta.quicklisp.org/archive/esrap-peg/2019-10-07/esrap-peg-20191007-git.tgz
- http://beta.quicklisp.org/archive/esrap/2019-12-27/esrap-20191227-git.tgz
- http://beta.quicklisp.org/archive/external-program/2019-03-07/external-program-20190307-git.tgz
- http://beta.quicklisp.org/archive/fare-quasiquote/2019-05-21/fare-quasiquote-20190521-git.tgz
- http://beta.quicklisp.org/archive/fare-utils/2017-01-24/fare-utils-20170124-git.tgz
- http://beta.quicklisp.org/archive/fast-http/2019-10-07/fast-http-20191007-git.tgz
- http://beta.quicklisp.org/archive/fast-io/2017-10-23/fast-io-20171023-git.tgz
- http://beta.quicklisp.org/archive/fiasco/2019-11-30/fiasco-20191130-git.tgz
- http://beta.quicklisp.org/archive/fiveam/2018-02-28/fiveam-v1.4.1.tgz
- http://beta.quicklisp.org/archive/flexi-streams/2019-01-07/flexi-streams-20190107-git.tgz
- http://beta.quicklisp.org/archive/form-fiddle/2019-07-10/form-fiddle-20190710-git.tgz
- http://beta.quicklisp.org/archive/fset/2017-10-19/fset-20171019-git.tgz
- http://beta.quicklisp.org/archive/global-vars/2014-11-06/global-vars-20141106-git.tgz
- http://beta.quicklisp.org/archive/http-body/2019-08-13/http-body-20190813-git.tgz
- http://beta.quicklisp.org/archive/hu.dwim.asdf/2019-05-21/hu.dwim.asdf-20190521-darcs.tgz
- http://beta.quicklisp.org/archive/hu.dwim.stefil/2017-04-03/hu.dwim.stefil-20170403-darcs.tgz
- http://beta.quicklisp.org/archive/hunchentoot/2017-12-27/hunchentoot-v1.2.38.tgz
- http://beta.quicklisp.org/archive/idna/2012-01-07/idna-20120107-git.tgz
- http://beta.quicklisp.org/archive/ieee-floats/2017-08-30/ieee-floats-20170830-git.tgz
- http://beta.quicklisp.org/archive/introspect-environment/2015-10-31/introspect-environment-20151031-git.tgz
- http://beta.quicklisp.org/archive/iolib/2018-02-28/iolib-v0.8.3.tgz
- http://beta.quicklisp.org/archive/ironclad/2019-10-07/ironclad-v0.47.tgz
- http://beta.quicklisp.org/archive/iterate/2018-02-28/iterate-20180228-git.tgz
- http://beta.quicklisp.org/archive/jonathan/2019-02-02/jonathan-20190202-git.tgz
- http://beta.quicklisp.org/archive/kmrcl/2015-09-23/kmrcl-20150923-git.tgz
- http://beta.quicklisp.org/archive/lack/2019-10-07/lack-20191007-git.tgz
- http://beta.quicklisp.org/archive/let-plus/2019-11-30/let-plus-20191130-git.tgz
- http://beta.quicklisp.org/archive/lev/2015-05-05/lev-20150505-git.tgz
- http://beta.quicklisp.org/archive/lfarm/2015-06-08/lfarm-20150608-git.tgz
- http://beta.quicklisp.org/archive/lift/2019-05-21/lift-20190521-git.tgz
- http://beta.quicklisp.org/archive/lisp-namespace/2017-11-30/lisp-namespace-20171130-git.tgz
- http://beta.quicklisp.org/archive/lisp-unit2/2018-01-31/lisp-unit2-20180131-git.tgz
- http://beta.quicklisp.org/archive/local-time/2019-07-10/local-time-20190710-git.tgz
- http://beta.quicklisp.org/archive/log4cl/2019-10-07/log4cl-20191007-git.tgz
- http://beta.quicklisp.org/archive/lparallel/2016-08-25/lparallel-20160825-git.tgz
- http://beta.quicklisp.org/archive/lquery/2019-07-10/lquery-20190710-git.tgz
- http://beta.quicklisp.org/archive/map-set/2019-03-07/map-set-20190307-hg.tgz
- http://beta.quicklisp.org/archive/md5/2018-02-28/md5-20180228-git.tgz
- http://beta.quicklisp.org/archive/metabang-bind/2019-11-30/metabang-bind-20191130-git.tgz
- http://beta.quicklisp.org/archive/misc-extensions/2015-06-08/misc-extensions-20150608-git.tgz
- http://beta.quicklisp.org/archive/mk-string-metrics/2018-01-31/mk-string-metrics-20180131-git.tgz
- http://beta.quicklisp.org/archive/mt19937/2011-02-19/mt19937-1.1.1.tgz
- http://beta.quicklisp.org/archive/myway/2018-10-18/myway-20181018-git.tgz
- http://beta.quicklisp.org/archive/named-readtables/2018-01-31/named-readtables-20180131-git.tgz
- http://beta.quicklisp.org/archive/nibbles/2018-08-31/nibbles-20180831-git.tgz
- http://beta.quicklisp.org/archive/optima/2015-07-09/optima-20150709-git.tgz
- http://beta.quicklisp.org/archive/parenscript/2018-12-10/Parenscript-2.7.1.tgz
- http://beta.quicklisp.org/archive/parse-declarations/2010-10-06/parse-declarations-20101006-darcs.tgz
- http://beta.quicklisp.org/archive/parse-number/2018-02-28/parse-number-v1.7.tgz
- http://beta.quicklisp.org/archive/pcall/2010-10-06/pcall-0.3.tgz
- http://beta.quicklisp.org/archive/plexippus-xpath/2019-05-21/plexippus-xpath-20190521-git.tgz
- http://beta.quicklisp.org/archive/plump/2019-07-10/plump-20190710-git.tgz
- http://beta.quicklisp.org/archive/postmodern/2019-12-27/postmodern-20191227-git.tgz
- http://beta.quicklisp.org/archive/proc-parse/2019-08-13/proc-parse-20190813-git.tgz
- http://beta.quicklisp.org/archive/prove/2017-11-30/prove-20171130-git.tgz
- http://beta.quicklisp.org/archive/ptester/2016-09-29/ptester-20160929-git.tgz
- http://beta.quicklisp.org/archive/puri/2018-02-28/puri-20180228-git.tgz
- http://beta.quicklisp.org/archive/query-fs/2019-05-21/query-fs-20190521-git.tgz
- http://beta.quicklisp.org/archive/quri/2019-11-30/quri-20191130-git.tgz
- http://beta.quicklisp.org/archive/rfc2388/2018-08-31/rfc2388-20180831-git.tgz
- http://beta.quicklisp.org/archive/rove/2019-10-07/rove-20191007-git.tgz
- http://beta.quicklisp.org/archive/rt/2010-10-06/rt-20101006-git.tgz
- http://beta.quicklisp.org/archive/s-sysdeps/2013-01-28/s-sysdeps-20130128-git.tgz
- http://beta.quicklisp.org/archive/s-xml/2015-06-08/s-xml-20150608-git.tgz
- http://beta.quicklisp.org/archive/salza2/2013-07-20/salza2-2.0.9.tgz
- http://beta.quicklisp.org/archive/slime/2019-07-10/slime-v2.24.tgz
- http://beta.quicklisp.org/archive/smart-buffer/2016-06-28/smart-buffer-20160628-git.tgz
- http://beta.quicklisp.org/archive/split-sequence/2019-05-21/split-sequence-v2.0.0.tgz
- http://beta.quicklisp.org/archive/static-vectors/2019-11-30/static-vectors-v1.8.4.tgz
- http://beta.quicklisp.org/archive/stefil/2018-12-10/stefil-20181210-git.tgz
- http://beta.quicklisp.org/archive/string-case/2018-07-11/string-case-20180711-git.tgz
- http://beta.quicklisp.org/archive/stumpwm/2019-12-27/stumpwm-20191227-git.tgz
- http://beta.quicklisp.org/archive/swap-bytes/2019-11-30/swap-bytes-v1.2.tgz
- http://beta.quicklisp.org/archive/symbol-munger/2015-04-07/symbol-munger-20150407-git.tgz
- http://beta.quicklisp.org/archive/trivia/2019-12-27/trivia-20191227-git.tgz
- http://beta.quicklisp.org/archive/trivial-backtrace/2019-07-10/trivial-backtrace-20190710-git.tgz
- http://beta.quicklisp.org/archive/trivial-clipboard/2019-02-02/trivial-clipboard-20190202-git.tgz
- http://beta.quicklisp.org/archive/trivial-cltl2/2019-07-10/trivial-cltl2-20190710-git.tgz
- http://beta.quicklisp.org/archive/trivial-features/2019-07-10/trivial-features-20190710-git.tgz
- http://beta.quicklisp.org/archive/trivial-file-size/2018-01-31/trivial-file-size-20180131-git.tgz
- http://beta.quicklisp.org/archive/trivial-garbage/2019-05-21/trivial-garbage-20190521-git.tgz
- http://beta.quicklisp.org/archive/trivial-gray-streams/2018-10-18/trivial-gray-streams-20181018-git.tgz
- http://beta.quicklisp.org/archive/trivial-indent/2019-10-07/trivial-indent-20191007-git.tgz
- http://beta.quicklisp.org/archive/trivial-macroexpand-all/2017-10-23/trivial-macroexpand-all-20171023-git.tgz
- http://beta.quicklisp.org/archive/trivial-mimes/2019-07-10/trivial-mimes-20190710-git.tgz
- http://beta.quicklisp.org/archive/trivial-types/2012-04-07/trivial-types-20120407-git.tgz
- http://beta.quicklisp.org/archive/trivial-utf-8/2011-10-01/trivial-utf-8-20111001-darcs.tgz
- http://beta.quicklisp.org/archive/type-i/2019-12-27/type-i-20191227-git.tgz
- http://beta.quicklisp.org/archive/uffi/2018-02-28/uffi-20180228-git.tgz
- http://beta.quicklisp.org/archive/uiop/2019-05-21/uiop-3.3.3.tgz
- http://beta.quicklisp.org/archive/unit-test/2012-05-20/unit-test-20120520-git.tgz
- http://beta.quicklisp.org/archive/unix-opts/2018-04-30/unix-opts-20180430-git.tgz
- http://beta.quicklisp.org/archive/usocket/2019-12-27/usocket-0.8.3.tgz
- http://beta.quicklisp.org/archive/vom/2016-08-25/vom-20160825-git.tgz
- http://beta.quicklisp.org/archive/woo/2019-11-30/woo-20191130-git.tgz
- http://beta.quicklisp.org/archive/wookie/2019-11-30/wookie-20191130-git.tgz
- http://beta.quicklisp.org/archive/xmls/2018-04-30/xmls-3.0.2.tgz
- http://beta.quicklisp.org/archive/xsubseq/2017-08-30/xsubseq-20170830-git.tgz
- http://beta.quicklisp.org/archive/yason/2019-12-27/yason-v0.7.8.tgz
- http://beta.quicklisp.org/archive/zpb-ttf/2013-07-20/zpb-ttf-1.0.3.tgz
- http://bitmath.org/code/mtdev/mtdev-1.1.6.tar.bz2
- http://blog.zakkemble.co.uk/download/avrdudess_20140102.zip
- http://brick.kernel.dk/snaps/blktrace-1.2.0.tar.bz2
- http://bricxcc.sourceforge.net/wavrsocvt.tgz
- http://brltty.com/archive/brltty-6.1.tar.gz
- http://brouits.free.fr/csv2latex/csv2latex-0.22.tar.gz
- http://bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.bz2
- http://build.clusterlabs.org/corosync/releases/corosync-2.4.3.tar.gz
- http://cab.spbu.ru/files/release3.14.1/SPAdes-3.14.1.tar.gz
- http://caca.zoy.org/raw-attachment/wiki/toilet/toilet-0.3.tar.gz
- http://caml.inria.fr/pub/distrib/ocaml-4.01/ocaml-4.01.0.tar.xz
- http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.3.tar.xz
- http://caml.inria.fr/pub/distrib/ocaml-4.05/ocaml-4.05.0.tar.xz
- http://caml.inria.fr/pub/distrib/ocaml-4.06/ocaml-4.06.1.tar.xz
- http://caml.inria.fr/pub/distrib/ocaml-4.07/ocaml-4.07.1.tar.xz
- http://caml.inria.fr/pub/distrib/ocaml-4.08/ocaml-4.08.1.tar.xz
- http://caml.inria.fr/pub/distrib/ocaml-4.09/ocaml-4.09.1.tar.xz
- http://caml.inria.fr/pub/distrib/ocaml-4.10/ocaml-4.10.0.tar.xz
- http://caml.inria.fr/pub/old_caml_site/distrib/bazar-ocaml/camlidl-1.05.tar.gz
- http://catb.org/esr/intercal/intercal-0.31.tar.gz
- http://catchenlab.life.illinois.edu/stacks/source/stacks-2.53.tar.gz
- http://cddb-py.sourceforge.net/CDDB-1.4.tar.gz
- http://cdn.kernel.org/pub/linux/bluetooth/bluez-5.54.tar.xz
- http://cdn.kernel.org/pub/linux/bluetooth/obexd-0.48.tar.bz2
- http://cdn.kernel.org/pub/linux/daemons/autofs/v5/autofs-5.1.6.tar.xz
- http://cdn.kernel.org/pub/linux/docs/man-pages/man-pages-5.06.tar.xz
- http://cdn.kernel.org/pub/linux/docs/man-pages/man-pages-posix/man-pages-posix-2013-a.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/people/kdave/btrfs-progs/btrfs-progs-v5.6.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.1.2.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.14.182.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.19.125.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.4.225.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.9.225.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v5.x/linux-5.4.43.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v5.x/linux-5.5.tar.xz
- http://cdn.kernel.org/pub/linux/kernel/v5.x/linux-5.6.15.tar.xz
- http://cdn.kernel.org/pub/linux/libs/ieee1394/libraw1394-2.1.2.tar.gz
- http://cdn.kernel.org/pub/linux/libs/klibc/2.0/klibc-2.0.7.tar.xz
- http://cdn.kernel.org/pub/linux/libs/security/linux-privs/libcap2/libcap-2.27.tar.xz
- http://cdn.kernel.org/pub/linux/network/connman/connman-1.38.tar.xz
- http://cdn.kernel.org/pub/linux/utils/cryptsetup/v2.1/cryptsetup-2.1.0.tar.xz
- http://cdn.kernel.org/pub/linux/utils/kbd/kbd-2.0.4.tar.xz
- http://cdn.kernel.org/pub/linux/utils/kernel/ipvsadm/ipvsadm-1.31.tar.xz
- http://cdn.kernel.org/pub/linux/utils/kernel/kexec/kexec-tools-2.0.20.tar.xz
- http://cdn.kernel.org/pub/linux/utils/kernel/kmod/kmod-26.tar.xz
- http://cdn.kernel.org/pub/linux/utils/net/iproute2/iproute2-5.6.0.tar.xz
- http://cdn.kernel.org/pub/linux/utils/raid/mdadm/mdadm-4.1.tar.xz
- http://cdn.kernel.org/pub/linux/utils/usb/usbutils/usbutils-012.tar.xz
- http://cdn.kernel.org/pub/linux/utils/util-linux/v2.35/util-linux-2.35.1.tar.xz
- http://cdn.kernel.org/pub/software/devel/sparse/dist/sparse-0.5.0.tar.xz
- http://cdn.kernel.org/pub/software/graphics/pngtoico/pngtoico-1.0.tar.gz
- http://cdn.kernel.org/pub/software/network/ethtool/ethtool-5.4.tar.xz
- http://cdn.kernel.org/pub/software/network/rfkill/rfkill-0.5.tar.bz2
- http://cdn.kernel.org/pub/software/network/tftp/tftp-hpa/tftp-hpa-5.2.tar.xz
- http://cdn.kernel.org/pub/software/scm/git/git-2.25.1.tar.xz
- http://cdn.kernel.org/pub/software/utils/pciutils/pciutils-3.6.4.tar.xz
- http://centerim.org/download/cim5/centerim5-5.0.1.tar.gz
- http://ceres-solver.org/ceres-solver-1.14.0.tar.gz
- http://cgi.csc.liv.ac.uk/~ullrich/CLProver++/CLProver++-v1.0.3-18-04-2015.zip
- http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/lrslib-070.tar.gz
- http://chuck.cs.princeton.edu/release/files/chuck-1.4.0.1.tgz
- http://ck.kolivas.org/apps/lrzip/lrzip-0.631.tar.bz2
- http://cmpg.unibe.ch/software/BayeScan/files/BayeScan2.1.zip
- http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz
- http://code.breakfastquay.com/attachments/download/23/rubberband-1.8.1.tar.bz2
- http://code.liw.fi/debian/pool/main/c/cmdtest/cmdtest_0.32.orig.tar.xz
- http://code.liw.fi/debian/pool/main/p/python-larch/python-larch_1.20131130.orig.tar.gz
- http://code.liw.fi/debian/pool/main/p/python-tracing/python-tracing_0.8.orig.tar.gz
- http://code.liw.fi/debian/pool/main/p/python-ttystatus/python-ttystatus_0.23.orig.tar.gz
- http://code.x2go.org/releases/source/x2goserver/x2goserver-4.1.0.3.tar.gz
- http://codes.kary.us/nota/nota/-/archive/V1.0/nota-V1.0.tar.bz2
- http://comicneue.com/comic-neue-2.3.zip
- http://common-lisp.net/project/asdf/archives/asdf-2.26.tar.gz
- http://common-lisp.net/project/asdf/archives/asdf-3.1.7.tar.gz
- http://common-lisp.net/project/asdf/archives/asdf-3.3.4.tar.gz
- http://common-lisp.net/project/xcvb/cl-launch/cl-launch-4.1.4.1.tar.gz
- http://concurrencykit.org/releases/ck-0.6.0.tar.gz
- http://crd-legacy.lbl.gov/~xiaoye/SuperLU/superlu_5.2.1.tar.gz
- http://ctpp.havoc.ru/download/ctpp2-2.8.3.tar.gz
- http://cubicle.lri.fr/cubicle-1.1.2.tar.gz
- http://cyberelk.net/tim/data/patchutils/stable/patchutils-0.3.3.tar.xz
- http://cyberelk.net/tim/data/patchutils/stable/patchutils-0.3.4.tar.xz
- http://cyberelk.net/tim/data/pycups/pycups-1.9.73.tar.bz2
- http://damien.douxchamps.net/ieee1394/coriander/archives/coriander-2.0.1.tar.gz
- http://das.nasophon.de/download/gtklick-0.6.4.tar.gz
- http://das.nasophon.de/download/jack_oscrolloscope-0.7.tar.gz
- http://das.nasophon.de/download/klick-0.12.2.tar.gz
- http://das.nasophon.de/download/pyliblo-0.10.0.tar.gz
- http://dev-www.libreoffice.org/src/5ade6ae2a99bc1e9e57031ca88d36dad-hyphen-2.8.8.tar.gz
- http://dev-www.libreoffice.org/src/libzmf/libzmf-0.0.2.tar.xz
- http://dev.gentoo.org/~blueness/eudev/eudev-3.2.9.tar.gz
- http://dev.mysql.com/get/Downloads/Connector-J/mysql-connector-java-5.1.46.zip
- http://dev.mysql.com/get/Downloads/MySQLGUITools/mysql-workbench-community-8.0.20-src.tar.gz
- http://devernay.free.fr/hacks/cminpack/cminpack-1.3.6.tar.gz
- http://df.zweistein.cz/soundsense/soundSense_2016-1_196.zip
- http://df.zweistein.cz/soundsense/soundpack.zip
- http://dfu-util.sourceforge.net/releases/dfu-util-0.8.tar.gz
- http://dfu-util.sourceforge.net/releases/dfu-util-0.9.tar.gz
- http://dirvish.org/dirvish-1.2.1.tgz
- http://dist.modpython.org/dist/mod_python-3.5.0.tgz
- http://dist.schmorp.de/libev/Attic/libev-4.33.tar.gz
- http://dist.schmorp.de/rxvt-unicode/Attic/rxvt-unicode-9.22.tar.bz2
- http://distcache.FreeBSD.org/ports-distfiles/ttf-arkpandora-2.04.tgz
- http://distcache.freebsd.org/local-distfiles/itetcu/libexecinfo-1.1.tar.bz2
- http://distfiles.audacious-media-player.org/audacious-3.9.tar.bz2
- http://distfiles.audacious-media-player.org/audacious-plugins-3.9-gtk3.tar.bz2
- http://distfiles.audacious-media-player.org/audacious-plugins-3.9.tar.bz2
- http://distfiles.gentoo.org/distfiles/pax-utils-1.2.6.tar.xz
- http://dl.bintray.com/asciidoctor/maven/org/asciidoctor/asciidoctorj/2.3.0/asciidoctorj-2.3.0-bin.zip
- http://dl.bintray.com/groovy/maven/apache-groovy-binary-3.0.2.zip
- http://dl.bintray.com/nfc-tools/sources/libnfc-1.7.1.tar.bz2
- http://dl.bytesex.org/releases/fbida/fbida-2.14.tar.gz
- http://dns.measurement-factory.com/tools/dnstop/src/dnstop-20140915.tar.gz
- http://docs.python.org/ftp/python/doc/2.7.16/python-2.7.16-docs-html.tar.bz2
- http://docs.python.org/ftp/python/doc/2.7.16/python-2.7.16-docs-pdf-a4.tar.bz2
- http://docs.python.org/ftp/python/doc/2.7.16/python-2.7.16-docs-pdf-letter.tar.bz2
- http://docs.python.org/ftp/python/doc/2.7.16/python-2.7.16-docs-text.tar.bz2
- http://docs.python.org/ftp/python/doc/3.7.2/python-3.7.2-docs-html.tar.bz2
- http://docs.python.org/ftp/python/doc/3.7.2/python-3.7.2-docs-pdf-a4.tar.bz2
- http://docs.python.org/ftp/python/doc/3.7.2/python-3.7.2-docs-pdf-letter.tar.bz2
- http://docs.python.org/ftp/python/doc/3.7.2/python-3.7.2-docs-text.tar.bz2
- http://download.augeas.net/augeas-1.12.0.tar.gz
- http://download.camlcity.org/download/findlib-1.8.1.tar.gz
- http://download.camlcity.org/download/ocamlnet-4.1.7.tar.gz
- http://download.camlcity.org/download/omake-0.10.3.tar.gz
- http://download.cdn.mozilla.net/pub/mozilla.org/directory/svrcore/releases/4.0.4/src/svrcore-4.0.4.tar.bz2
- http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/38.8.0esr/source/firefox-38.8.0esr.source.tar.bz2
- http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/52.9.0esr/source/firefox-52.9.0esr.source.tar.xz
- http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/60.9.0esr/source/firefox-60.9.0esr.source.tar.xz
- http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/68.7.0esr/source/firefox-68.7.0esr.source.tar.xz
- http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/68.8.0esr/source/firefox-68.8.0esr.source.tar.xz
- http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/76.0.1/source/firefox-76.0.1.source.tar.xz
- http://download.cdn.mozilla.net/pub/mozilla.org/js/js185-1.0.0.tar.gz
- http://download.cdn.mozilla.net/pub/mozilla.org/js/rhino1_7R2.zip
- http://download.cdn.mozilla.net/pub/mozilla.org/nspr/releases/v4.25/src/nspr-4.25.tar.gz
- http://download.cdn.mozilla.net/pub/mozilla.org/security/nss/releases/NSS_3_52_RTM/src/nss-3.52.tar.gz
- http://download.cdn.mozilla.net/pub/mozilla.org/thunderbird/releases/68.8.1/source/thunderbird-68.8.1.source.tar.xz
- http://download.ceph.com/tarballs/ceph-14.2.9.tar.gz
- http://download.deluge-torrent.org/source/2.0/deluge-2.0.3.tar.xz
- http://download.deluge-torrent.org/source/deluge-1.3.15.tar.bz2
- http://download.draios.com/dependencies/libb64-1.2.src.zip
- http://download.dre.vanderbilt.edu/previous_versions/ACE-6.5.7.tar.bz2
- http://download.dymo.com/dymo/Software/Download%20Drivers/Linux/Download/dymo-cups-drivers-1.4.0.tar.gz
- http://download.enlightenment.org/rel/apps/enlightenment/enlightenment-0.24.0.tar.xz
- http://download.enlightenment.org/rel/apps/rage/rage-0.3.1.tar.xz
- http://download.enlightenment.org/rel/apps/terminology/terminology-1.7.0.tar.xz
- http://download.enlightenment.org/rel/bindings/python/python-efl-1.24.0.tar.xz
- http://download.enlightenment.org/rel/libs/efl/efl-1.24.2.tar.xz
- http://download.fcitx-im.org/fcitx-anthy/fcitx-anthy-0.2.3.tar.xz
- http://download.fcitx-im.org/fcitx-chewing/fcitx-chewing-0.2.3.tar.xz
- http://download.fcitx-im.org/fcitx-cloudpinyin/fcitx-cloudpinyin-0.3.7.tar.xz
- http://download.fcitx-im.org/fcitx-hangul/fcitx-hangul-0.3.1.tar.xz
- http://download.fcitx-im.org/fcitx-libpinyin/fcitx-libpinyin-0.5.3.tar.xz
- http://download.fcitx-im.org/fcitx-m17n/fcitx-m17n-0.2.4.tar.xz
- http://download.fcitx-im.org/fcitx-table-extra/fcitx-table-extra-0.3.8.tar.xz
- http://download.fcitx-im.org/fcitx-table-other/fcitx-table-other-0.2.4.tar.xz
- http://download.fcitx-im.org/fcitx-unikey/fcitx-unikey-0.2.5.tar.xz
- http://download.gimp.org/pub/gimp/v2.10/gimp-2.10.18.tar.bz2
- http://download.gnome.org/sources/GConf/3.2/GConf-3.2.6.tar.xz
- http://download.gnome.org/sources/NetworkManager-fortisslvpn/1.2/NetworkManager-fortisslvpn-1.2.10.tar.xz
- http://download.gnome.org/sources/NetworkManager-openconnect/1.2/NetworkManager-openconnect-1.2.6.tar.xz
- http://download.gnome.org/sources/NetworkManager-openvpn/1.8/NetworkManager-openvpn-1.8.12.tar.xz
- http://download.gnome.org/sources/NetworkManager-vpnc/1.2/NetworkManager-vpnc-1.2.6.tar.xz
- http://download.gnome.org/sources/NetworkManager/0.9/NetworkManager-0.9.8.10.tar.xz
- http://download.gnome.org/sources/NetworkManager/1.22/NetworkManager-1.22.10.tar.xz
- http://download.gnome.org/sources/ORBit2/2.14/ORBit2-2.14.19.tar.bz2
- http://download.gnome.org/sources/accerciser/3.36/accerciser-3.36.1.tar.xz
- http://download.gnome.org/sources/adwaita-icon-theme/3.36/adwaita-icon-theme-3.36.1.tar.xz
- http://download.gnome.org/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz
- http://download.gnome.org/sources/almanah/0.12/almanah-0.12.0.tar.xz
- http://download.gnome.org/sources/amtk/5.0/amtk-5.0.2.tar.xz
- http://download.gnome.org/sources/anjuta/3.34/anjuta-3.34.0.tar.xz
- http://download.gnome.org/sources/at-spi2-atk/2.34/at-spi2-atk-2.34.2.tar.xz
- http://download.gnome.org/sources/at-spi2-core/2.36/at-spi2-core-2.36.0.tar.xz
- http://download.gnome.org/sources/atk/2.36/atk-2.36.0.tar.xz
- http://download.gnome.org/sources/atkmm/2.28/atkmm-2.28.0.tar.xz
- http://download.gnome.org/sources/atomix/3.34/atomix-3.34.0.tar.xz
- http://download.gnome.org/sources/baobab/3.34/baobab-3.34.0.tar.xz
- http://download.gnome.org/sources/bijiben/3.36/bijiben-3.36.1.tar.xz
- http://download.gnome.org/sources/brasero/3.12/brasero-3.12.2.tar.xz
- http://download.gnome.org/sources/cantarell-fonts/0.111/cantarell-fonts-0.111.tar.xz
- http://download.gnome.org/sources/caribou/0.4/caribou-0.4.21.tar.xz
- http://download.gnome.org/sources/cheese/3.34/cheese-3.34.0.tar.xz
- http://download.gnome.org/sources/chrome-gnome-shell/10.1/chrome-gnome-shell-10.1.tar.xz
- http://download.gnome.org/sources/clutter-gst/3.0/clutter-gst-3.0.27.tar.xz
- http://download.gnome.org/sources/clutter-gtk/1.8/clutter-gtk-1.8.4.tar.xz
- http://download.gnome.org/sources/clutter/1.26/clutter-1.26.4.tar.xz
- http://download.gnome.org/sources/cogl/1.22/cogl-1.22.6.tar.xz
- http://download.gnome.org/sources/d-feet/0.3/d-feet-0.3.15.tar.xz
- http://download.gnome.org/sources/dconf-editor/3.36/dconf-editor-3.36.2.tar.xz
- http://download.gnome.org/sources/dconf/0.36/dconf-0.36.0.tar.xz
- http://download.gnome.org/sources/devhelp/3.36/devhelp-3.36.2.tar.xz
- http://download.gnome.org/sources/easytag/2.4/easytag-2.4.3.tar.xz
- http://download.gnome.org/sources/empathy/3.25/empathy-3.25.90.tar.xz
- http://download.gnome.org/sources/eog/3.36/eog-3.36.2.tar.xz
- http://download.gnome.org/sources/epiphany/3.36/epiphany-3.36.1.tar.xz
- http://download.gnome.org/sources/evince/3.36/evince-3.36.1.tar.xz
- http://download.gnome.org/sources/evolution-data-server/3.36/evolution-data-server-3.36.2.tar.xz
- http://download.gnome.org/sources/evolution/3.36/evolution-3.36.2.tar.xz
- http://download.gnome.org/sources/file-roller/3.36/file-roller-3.36.2.tar.xz
- http://download.gnome.org/sources/five-or-more/3.32/five-or-more-3.32.2.tar.xz
- http://download.gnome.org/sources/folks/0.14/folks-0.14.0.tar.xz
- http://download.gnome.org/sources/four-in-a-row/3.36/four-in-a-row-3.36.2.tar.xz
- http://download.gnome.org/sources/gcab/1.4/gcab-1.4.tar.xz
- http://download.gnome.org/sources/gcr/3.36/gcr-3.36.0.tar.xz
- http://download.gnome.org/sources/gdk-pixbuf/2.40/gdk-pixbuf-2.40.0.tar.xz
- http://download.gnome.org/sources/gdl/3.34/gdl-3.34.0.tar.xz
- http://download.gnome.org/sources/gdm/3.34/gdm-3.34.1.tar.xz
- http://download.gnome.org/sources/geary/3.36/geary-3.36.2.tar.xz
- http://download.gnome.org/sources/gedit/3.36/gedit-3.36.2.tar.xz
- http://download.gnome.org/sources/geocode-glib/3.26/geocode-glib-3.26.2.tar.xz
- http://download.gnome.org/sources/gexiv2/0.12/gexiv2-0.12.1.tar.xz
- http://download.gnome.org/sources/gfbgraph/0.2/gfbgraph-0.2.3.tar.xz
- http://download.gnome.org/sources/ghex/3.18/ghex-3.18.4.tar.xz
- http://download.gnome.org/sources/gitg/3.32/gitg-3.32.1.tar.xz
- http://download.gnome.org/sources/gjs/1.64/gjs-1.64.2.tar.xz
- http://download.gnome.org/sources/glabels/3.4/glabels-3.4.1.tar.xz
- http://download.gnome.org/sources/glade/3.36/glade-3.36.0.tar.xz
- http://download.gnome.org/sources/glib-networking/2.64/glib-networking-2.64.2.tar.xz
- http://download.gnome.org/sources/glib/2.64/glib-2.64.1.tar.xz
- http://download.gnome.org/sources/glibmm/2.64/glibmm-2.64.2.tar.xz
- http://download.gnome.org/sources/gmime/2.6/gmime-2.6.23.tar.xz
- http://download.gnome.org/sources/gmime/3.2/gmime-3.2.7.tar.xz
- http://download.gnome.org/sources/gnome-applets/3.36/gnome-applets-3.36.3.tar.xz
- http://download.gnome.org/sources/gnome-autoar/0.2/gnome-autoar-0.2.4.tar.xz
- http://download.gnome.org/sources/gnome-backgrounds/3.36/gnome-backgrounds-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-bluetooth/3.34/gnome-bluetooth-3.34.1.tar.xz
- http://download.gnome.org/sources/gnome-books/3.34/gnome-books-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-boxes/3.36/gnome-boxes-3.36.3.tar.xz
- http://download.gnome.org/sources/gnome-builder/3.36/gnome-builder-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-calculator/3.36/gnome-calculator-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-calendar/3.36/gnome-calendar-3.36.1.tar.xz
- http://download.gnome.org/sources/gnome-characters/3.34/gnome-characters-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-chess/3.36/gnome-chess-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-clocks/3.36/gnome-clocks-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-color-manager/3.32/gnome-color-manager-3.32.0.tar.xz
- http://download.gnome.org/sources/gnome-common/2.34/gnome-common-2.34.0.tar.bz2
- http://download.gnome.org/sources/gnome-common/3.18/gnome-common-3.18.0.tar.xz
- http://download.gnome.org/sources/gnome-contacts/3.36/gnome-contacts-3.36.1.tar.xz
- http://download.gnome.org/sources/gnome-control-center/3.36/gnome-control-center-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-desktop/3.36/gnome-desktop-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-devel-docs/3.32/gnome-devel-docs-3.32.1.tar.xz
- http://download.gnome.org/sources/gnome-dictionary/3.26/gnome-dictionary-3.26.1.tar.xz
- http://download.gnome.org/sources/gnome-disk-utility/3.36/gnome-disk-utility-3.36.1.tar.xz
- http://download.gnome.org/sources/gnome-doc-utils/0.20/gnome-doc-utils-0.20.10.tar.xz
- http://download.gnome.org/sources/gnome-documents/3.34/gnome-documents-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-flashback/3.36/gnome-flashback-3.36.3.tar.xz
- http://download.gnome.org/sources/gnome-font-viewer/3.34/gnome-font-viewer-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-getting-started-docs/3.36/gnome-getting-started-docs-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-icon-theme/3.12/gnome-icon-theme-3.12.0.tar.xz
- http://download.gnome.org/sources/gnome-initial-setup/3.36/gnome-initial-setup-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-keyring/3.36/gnome-keyring-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-klotski/3.36/gnome-klotski-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-latex/3.36/gnome-latex-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-logs/3.36/gnome-logs-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-mahjongg/3.36/gnome-mahjongg-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-maps/3.36/gnome-maps-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-menus/3.36/gnome-menus-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-mime-data/2.18/gnome-mime-data-2.18.0.tar.bz2
- http://download.gnome.org/sources/gnome-mines/3.36/gnome-mines-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-multi-writer/3.32/gnome-multi-writer-3.32.1.tar.xz
- http://download.gnome.org/sources/gnome-music/3.36/gnome-music-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-nettool/3.8/gnome-nettool-3.8.1.tar.xz
- http://download.gnome.org/sources/gnome-nibbles/3.36/gnome-nibbles-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-online-miners/3.34/gnome-online-miners-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-packagekit/3.32/gnome-packagekit-3.32.0.tar.xz
- http://download.gnome.org/sources/gnome-panel/3.36/gnome-panel-3.36.1.tar.xz
- http://download.gnome.org/sources/gnome-photos/3.34/gnome-photos-3.34.2.tar.xz
- http://download.gnome.org/sources/gnome-power-manager/3.32/gnome-power-manager-3.32.0.tar.xz
- http://download.gnome.org/sources/gnome-python-desktop/2.32/gnome-python-desktop-2.32.0.tar.bz2
- http://download.gnome.org/sources/gnome-python/2.28/gnome-python-2.28.1.tar.bz2
- http://download.gnome.org/sources/gnome-recipes/2.0/gnome-recipes-2.0.2.tar.xz
- http://download.gnome.org/sources/gnome-robots/3.36/gnome-robots-3.36.1.tar.xz
- http://download.gnome.org/sources/gnome-screenshot/3.36/gnome-screenshot-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-session/3.36/gnome-session-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-settings-daemon/3.36/gnome-settings-daemon-3.36.1.tar.xz
- http://download.gnome.org/sources/gnome-shell-extensions/3.36/gnome-shell-extensions-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-shell/3.36/gnome-shell-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-software/3.36/gnome-software-3.36.1.tar.xz
- http://download.gnome.org/sources/gnome-sound-recorder/3.34/gnome-sound-recorder-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-sudoku/3.36/gnome-sudoku-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-system-monitor/3.36/gnome-system-monitor-3.36.0.tar.xz
- http://download.gnome.org/sources/gnome-taquin/3.36/gnome-taquin-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-terminal/3.36/gnome-terminal-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-tetravex/3.36/gnome-tetravex-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-themes-extra/3.28/gnome-themes-extra-3.28.tar.xz
- http://download.gnome.org/sources/gnome-todo/3.28/gnome-todo-3.28.1.tar.xz
- http://download.gnome.org/sources/gnome-tweaks/3.34/gnome-tweaks-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-usage/3.33/gnome-usage-3.33.2.tar.xz
- http://download.gnome.org/sources/gnome-user-docs/3.36/gnome-user-docs-3.36.2.tar.xz
- http://download.gnome.org/sources/gnome-user-share/3.34/gnome-user-share-3.34.0.tar.xz
- http://download.gnome.org/sources/gnome-vfs/2.24/gnome-vfs-2.24.4.tar.bz2
- http://download.gnome.org/sources/gnome-video-effects/0.5/gnome-video-effects-0.5.0.tar.xz
- http://download.gnome.org/sources/gnome-weather/3.36/gnome-weather-3.36.1.tar.xz
- http://download.gnome.org/sources/gnumeric/1.12/gnumeric-1.12.47.tar.xz
- http://download.gnome.org/sources/gob2/2.0/gob2-2.0.20.tar.xz
- http://download.gnome.org/sources/gobject-introspection/1.64/gobject-introspection-1.64.1.tar.xz
- http://download.gnome.org/sources/goffice/0.10/goffice-0.10.47.tar.xz
- http://download.gnome.org/sources/gom/0.4/gom-0.4.tar.xz
- http://download.gnome.org/sources/goocanvas/1.0/goocanvas-1.0.0.tar.bz2
- http://download.gnome.org/sources/goocanvas/2.0/goocanvas-2.0.4.tar.xz
- http://download.gnome.org/sources/goocanvasmm/1.90/goocanvasmm-1.90.11.tar.xz
- http://download.gnome.org/sources/grilo-plugins/0.3/grilo-plugins-0.3.11.tar.xz
- http://download.gnome.org/sources/grilo/0.3/grilo-0.3.12.tar.xz
- http://download.gnome.org/sources/gsettings-desktop-schemas/3.36/gsettings-desktop-schemas-3.36.1.tar.xz
- http://download.gnome.org/sources/gsound/1.0/gsound-1.0.2.tar.xz
- http://download.gnome.org/sources/gspell/1.8/gspell-1.8.3.tar.xz
- http://download.gnome.org/sources/gssdp/1.2/gssdp-1.2.2.tar.xz
- http://download.gnome.org/sources/gstreamermm/0.10/gstreamermm-0.10.11.tar.xz
- http://download.gnome.org/sources/gstreamermm/1.10/gstreamermm-1.10.0.tar.xz
- http://download.gnome.org/sources/gthumb/3.10/gthumb-3.10.0.tar.xz
- http://download.gnome.org/sources/gtk+/2.24/gtk+-2.24.32.tar.xz
- http://download.gnome.org/sources/gtk+/3.24/gtk+-3.24.20.tar.xz
- http://download.gnome.org/sources/gtk-vnc/1.0/gtk-vnc-1.0.0.tar.xz
- http://download.gnome.org/sources/gtkglarea/2.1/gtkglarea-2.1.0.tar.xz
- http://download.gnome.org/sources/gtkhtml/3.32/gtkhtml-3.32.2.tar.bz2
- http://download.gnome.org/sources/gtkhtml/4.10/gtkhtml-4.10.0.tar.xz
- http://download.gnome.org/sources/gtkmm/2.24/gtkmm-2.24.5.tar.xz
- http://download.gnome.org/sources/gtkmm/3.24/gtkmm-3.24.2.tar.xz
- http://download.gnome.org/sources/gtksourceview/2.10/gtksourceview-2.10.5.tar.bz2
- http://download.gnome.org/sources/gtksourceview/3.24/gtksourceview-3.24.11.tar.xz
- http://download.gnome.org/sources/gtksourceview/4.6/gtksourceview-4.6.0.tar.xz
- http://download.gnome.org/sources/gtksourceviewmm/3.21/gtksourceviewmm-3.21.3.tar.xz
- http://download.gnome.org/sources/gtksourceviewmm/3.91/gtksourceviewmm-3.91.1.tar.xz
- http://download.gnome.org/sources/gtranslator/3.36/gtranslator-3.36.0.tar.xz
- http://download.gnome.org/sources/gupnp-av/0.12/gupnp-av-0.12.11.tar.xz
- http://download.gnome.org/sources/gupnp-dlna/0.10/gupnp-dlna-0.10.5.tar.xz
- http://download.gnome.org/sources/gupnp-igd/0.2/gupnp-igd-0.2.5.tar.xz
- http://download.gnome.org/sources/gupnp-tools/0.10/gupnp-tools-0.10.0.tar.xz
- http://download.gnome.org/sources/gupnp/1.2/gupnp-1.2.0.tar.xz
- http://download.gnome.org/sources/gvfs/1.44/gvfs-1.44.1.tar.xz
- http://download.gnome.org/sources/hitori/3.36/hitori-3.36.0.tar.xz
- http://download.gnome.org/sources/hyena/0.5/hyena-0.5.tar.bz2
- http://download.gnome.org/sources/iagno/3.36/iagno-3.36.2.tar.xz
- http://download.gnome.org/sources/json-glib/1.4/json-glib-1.4.4.tar.xz
- http://download.gnome.org/sources/jsonrpc-glib/3.34/jsonrpc-glib-3.34.0.tar.xz
- http://download.gnome.org/sources/lasem/0.4/lasem-0.4.4.tar.xz
- http://download.gnome.org/sources/libIDL/0.8/libIDL-0.8.14.tar.bz2
- http://download.gnome.org/sources/libart_lgpl/2.3/libart_lgpl-2.3.21.tar.bz2
- http://download.gnome.org/sources/libbonobo/2.32/libbonobo-2.32.1.tar.bz2
- http://download.gnome.org/sources/libbonoboui/2.24/libbonoboui-2.24.5.tar.bz2
- http://download.gnome.org/sources/libchamplain/0.12/libchamplain-0.12.20.tar.xz
- http://download.gnome.org/sources/libcryptui/3.12/libcryptui-3.12.2.tar.xz
- http://download.gnome.org/sources/libdazzle/3.36/libdazzle-3.36.0.tar.xz
- http://download.gnome.org/sources/libepc/0.4/libepc-0.4.6.tar.xz
- http://download.gnome.org/sources/libgda/5.2/libgda-5.2.9.tar.xz
- http://download.gnome.org/sources/libgdamm/4.99/libgdamm-4.99.11.tar.xz
- http://download.gnome.org/sources/libgdata/0.17/libgdata-0.17.12.tar.xz
- http://download.gnome.org/sources/libgee/0.20/libgee-0.20.3.tar.xz
- http://download.gnome.org/sources/libgepub/0.6/libgepub-0.6.0.tar.xz
- http://download.gnome.org/sources/libgit2-glib/0.99/libgit2-glib-0.99.0.1.tar.xz
- http://download.gnome.org/sources/libglade/2.6/libglade-2.6.4.tar.bz2
- http://download.gnome.org/sources/libglademm/2.6/libglademm-2.6.7.tar.bz2
- http://download.gnome.org/sources/libgnome-games-support/1.6/libgnome-games-support-1.6.1.tar.xz
- http://download.gnome.org/sources/libgnome-keyring/2.32/libgnome-keyring-2.32.0.tar.bz2
- http://download.gnome.org/sources/libgnome-keyring/3.12/libgnome-keyring-3.12.0.tar.xz
- http://download.gnome.org/sources/libgnome/2.32/libgnome-2.32.1.tar.bz2
- http://download.gnome.org/sources/libgnomecanvas/2.30/libgnomecanvas-2.30.3.tar.bz2
- http://download.gnome.org/sources/libgnomecanvasmm/2.26/libgnomecanvasmm-2.26.0.tar.bz2
- http://download.gnome.org/sources/libgnomecups/0.2/libgnomecups-0.2.3.tar.bz2
- http://download.gnome.org/sources/libgnomekbd/3.26/libgnomekbd-3.26.1.tar.xz
- http://download.gnome.org/sources/libgnomeprint/2.18/libgnomeprint-2.18.8.tar.bz2
- http://download.gnome.org/sources/libgnomeprintui/2.18/libgnomeprintui-2.18.6.tar.bz2
- http://download.gnome.org/sources/libgnomeui/2.24/libgnomeui-2.24.5.tar.bz2
- http://download.gnome.org/sources/libgrss/0.7/libgrss-0.7.0.tar.xz
- http://download.gnome.org/sources/libgsf/1.14/libgsf-1.14.47.tar.xz
- http://download.gnome.org/sources/libgtkhtml/2.11/libgtkhtml-2.11.1.tar.bz2
- http://download.gnome.org/sources/libgtop/2.40/libgtop-2.40.0.tar.xz
- http://download.gnome.org/sources/libgudev/233/libgudev-233.tar.xz
- http://download.gnome.org/sources/libgweather/3.36/libgweather-3.36.0.tar.xz
- http://download.gnome.org/sources/libgxps/0.3/libgxps-0.3.1.tar.xz
- http://download.gnome.org/sources/libhttpseverywhere/0.8/libhttpseverywhere-0.8.3.tar.xz
- http://download.gnome.org/sources/libmanette/0.2/libmanette-0.2.4.tar.xz
- http://download.gnome.org/sources/libmediaart/1.9/libmediaart-1.9.4.tar.xz
- http://download.gnome.org/sources/libnma/1.8/libnma-1.8.28.tar.xz
- http://download.gnome.org/sources/libnotify/0.7/libnotify-0.7.9.tar.xz
- http://download.gnome.org/sources/libpeas/1.26/libpeas-1.26.0.tar.xz
- http://download.gnome.org/sources/librsvg/2.48/librsvg-2.48.4.tar.xz
- http://download.gnome.org/sources/libsecret/0.20/libsecret-0.20.3.tar.xz
- http://download.gnome.org/sources/libsigc++/1.2/libsigc++-1.2.7.tar.bz2
- http://download.gnome.org/sources/libsigc++/2.10/libsigc++-2.10.1.tar.xz
- http://download.gnome.org/sources/libsoup/2.70/libsoup-2.70.0.tar.xz
- http://download.gnome.org/sources/libunique/1.1/libunique-1.1.6.tar.bz2
- http://download.gnome.org/sources/libwnck/2.31/libwnck-2.31.0.tar.xz
- http://download.gnome.org/sources/libwnck/3.36/libwnck-3.36.0.tar.xz
- http://download.gnome.org/sources/libxml++/2.40/libxml++-2.40.1.tar.xz
- http://download.gnome.org/sources/libxml++/3.0/libxml++-3.0.1.tar.xz
- http://download.gnome.org/sources/libzapojit/0.0/libzapojit-0.0.3.tar.xz
- http://download.gnome.org/sources/lightsoff/3.36/lightsoff-3.36.0.tar.xz
- http://download.gnome.org/sources/meld/3.20/meld-3.20.2.tar.xz
- http://download.gnome.org/sources/metacity/3.36/metacity-3.36.1.tar.xz
- http://download.gnome.org/sources/mm-common/1.0/mm-common-1.0.0.tar.xz
- http://download.gnome.org/sources/mobile-broadband-provider-info/20190116/mobile-broadband-provider-info-20190116.tar.xz
- http://download.gnome.org/sources/mousetweaks/3.32/mousetweaks-3.32.0.tar.xz
- http://download.gnome.org/sources/msitools/0.98/msitools-0.98.tar.xz
- http://download.gnome.org/sources/mutter/3.34/mutter-3.34.5.tar.xz
- http://download.gnome.org/sources/mutter/3.36/mutter-3.36.2.tar.xz
- http://download.gnome.org/sources/nautilus-python/1.2/nautilus-python-1.2.3.tar.xz
- http://download.gnome.org/sources/nautilus/3.36/nautilus-3.36.2.tar.xz
- http://download.gnome.org/sources/nemiver/0.9/nemiver-0.9.6.tar.xz
- http://download.gnome.org/sources/network-manager-applet/1.16/network-manager-applet-1.16.0.tar.xz
- http://download.gnome.org/sources/orca/3.36/orca-3.36.2.tar.xz
- http://download.gnome.org/sources/pango/1.44/pango-1.44.7.tar.xz
- http://download.gnome.org/sources/pangomm/2.42/pangomm-2.42.1.tar.xz
- http://download.gnome.org/sources/pdfmod/0.9/pdfmod-0.9.1.tar.bz2
- http://download.gnome.org/sources/pitivi/0.999/pitivi-0.999.tar.xz
- http://download.gnome.org/sources/polari/3.36/polari-3.36.2.tar.xz
- http://download.gnome.org/sources/polkit-gnome/0.105/polkit-gnome-0.105.tar.xz
- http://download.gnome.org/sources/pyatspi/2.36/pyatspi-2.36.0.tar.xz
- http://download.gnome.org/sources/pygobject/2.28/pygobject-2.28.7.tar.xz
- http://download.gnome.org/sources/pygobject/3.36/pygobject-3.36.0.tar.xz
- http://download.gnome.org/sources/pygtk/2.24/pygtk-2.24.0.tar.bz2
- http://download.gnome.org/sources/quadrapassel/3.36/quadrapassel-3.36.02.tar.xz
- http://download.gnome.org/sources/rarian/0.8/rarian-0.8.1.tar.gz
- http://download.gnome.org/sources/rest/0.8/rest-0.8.1.tar.xz
- http://download.gnome.org/sources/rhythmbox/3.4/rhythmbox-3.4.4.tar.xz
- http://download.gnome.org/sources/rygel/0.38/rygel-0.38.3.tar.xz
- http://download.gnome.org/sources/scrollkeeper/0.3/scrollkeeper-0.3.14.tar.bz2
- http://download.gnome.org/sources/seahorse/3.36/seahorse-3.36.tar.xz
- http://download.gnome.org/sources/shotwell/0.31/shotwell-0.31.1.tar.xz
- http://download.gnome.org/sources/simple-scan/3.36/simple-scan-3.36.2.1.tar.xz
- http://download.gnome.org/sources/sound-juicer/3.24/sound-juicer-3.24.0.tar.xz
- http://download.gnome.org/sources/sushi/3.34/sushi-3.34.0.tar.xz
- http://download.gnome.org/sources/swell-foop/3.34/swell-foop-3.34.1.tar.xz
- http://download.gnome.org/sources/sysprof/3.36/sysprof-3.36.0.tar.xz
- http://download.gnome.org/sources/tali/3.36/tali-3.36.1.tar.xz
- http://download.gnome.org/sources/template-glib/3.34/template-glib-3.34.0.tar.xz
- http://download.gnome.org/sources/tepl/4.4/tepl-4.4.0.tar.xz
- http://download.gnome.org/sources/totem-pl-parser/3.26/totem-pl-parser-3.26.5.tar.xz
- http://download.gnome.org/sources/totem/3.34/totem-3.34.1.tar.xz
- http://download.gnome.org/sources/tracker-miners/2.3/tracker-miners-2.3.3.tar.xz
- http://download.gnome.org/sources/tracker/2.3/tracker-2.3.4.tar.xz
- http://download.gnome.org/sources/ttf-bitstream-vera/1.10/ttf-bitstream-vera-1.10.tar.bz2
- http://download.gnome.org/sources/vala/0.36/vala-0.36.20.tar.xz
- http://download.gnome.org/sources/vala/0.40/vala-0.40.18.tar.xz
- http://download.gnome.org/sources/vala/0.44/vala-0.44.11.tar.xz
- http://download.gnome.org/sources/vala/0.46/vala-0.46.5.tar.xz
- http://download.gnome.org/sources/vala/0.48/vala-0.48.1.tar.xz
- http://download.gnome.org/sources/vinagre/3.22/vinagre-3.22.0.tar.xz
- http://download.gnome.org/sources/vte/0.28/vte-0.28.2.tar.bz2
- http://download.gnome.org/sources/vte/0.36/vte-0.36.3.tar.xz
- http://download.gnome.org/sources/vte/0.60/vte-0.60.2.tar.xz
- http://download.gnome.org/sources/yelp-tools/3.32/yelp-tools-3.32.2.tar.xz
- http://download.gnome.org/sources/yelp-xsl/3.36/yelp-xsl-3.36.0.tar.xz
- http://download.gnome.org/sources/yelp/3.36/yelp-3.36.0.tar.xz
- http://download.gnome.org/sources/zenity/3.32/zenity-3.32.0.tar.xz
- http://download.joedog.org/siege/siege-4.0.5.tar.gz
- http://download.kde.org/stable/colord-kde/0.5.0/src/colord-kde-0.5.0.tar.xz
- http://download.kde.org/stable/qca/2.2.1/qca-2.2.1.tar.xz
- http://download.kde.org/stable/skrooge/skrooge-2.22.1.tar.xz
- http://download.libguestfs.org/python/guestfs-1.40.1.tar.gz
- http://download.librdf.org/source/raptor-1.4.21.tar.gz
- http://download.librdf.org/source/raptor2-2.0.15.tar.gz
- http://download.librdf.org/source/rasqal-0.9.33.tar.gz
- http://download.librdf.org/source/redland-1.0.17.tar.gz
- http://download.netsurf-browser.org/libs/releases/buildsystem-1.8.tar.gz
- http://download.netsurf-browser.org/libs/releases/libcss-0.9.0-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libdom-0.4.0-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libhubbub-0.3.6-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libnsbmp-0.1.5-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libnsfb-0.2.1-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libnsgif-0.2.1-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libnslog-0.1.2-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libnspsl-0.1.5-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libnsutils-0.0.5-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libparserutils-0.2.4-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libsvgtiny-0.1.7-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libutf8proc-2.4.0-1-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/libwapcaplet-0.4.2-src.tar.gz
- http://download.netsurf-browser.org/libs/releases/nsgenbind-0.7-src.tar.gz
- http://download.netsurf-browser.org/netsurf/releases/source/netsurf-3.9-src.tar.gz
- http://download.oracle.com/berkeley-db/dbxml-6.1.4.tar.gz
- http://download.orangefs.org/current/source/orangefs-2.9.7.tar.gz
- http://download.pear.php.net/package/Console_Table-1.1.3.tgz
- http://download.qt-project.org/official_releases/qtcreator/4.11/4.11.0/qt-creator-opensource-src-4.11.0.tar.xz
- http://download.qt.io/archive/qt/3/qt-x11-free-3.3.8.tar.bz2
- http://download.qt.io/official_releases/qt-installer-framework/2.0.3/qt-installer-framework-opensource-2.0.3-src.tar.gz
- http://download.redis.io/releases/redis-6.0.3.tar.gz
- http://download.rsyslog.com/liblogging/liblogging-1.0.6.tar.gz
- http://download.sarine.nl/Programs/gmpc/11.8/gmpc-11.8.16.tar.gz
- http://download.sarine.nl/Programs/gmpc/11.8/libmpd-11.8.17.tar.gz
- http://download.sarine.nl/xmacro/xmacro-0.4.6.tar.gz
- http://download.savannah.nongnu.org/releases/guile-reader/guile-reader-0.6.2.tar.gz
- http://download.savannah.nongnu.org/releases/skribilo/skribilo-0.9.4.tar.gz
- http://download.zeromq.org/zeromq-3.2.5.tar.gz
- http://downloads.arduino.cc/arduino-1.8.9-linux64.tar.xz
- http://downloads.grantlee.org/grantlee-0.5.1.tar.gz
- http://downloads.hercules-390.eu/hercules-3.13.tar.gz
- http://downloads.open-mesh.org/batman/releases/batman-adv-2019.5/batman-adv-2019.5.tar.gz
- http://downloads.openmicroscopy.org/bio-formats/6.3.0/artifacts/bftools.zip
- http://downloads.sourceforge.net/rrootage/rRootage-0.23a.tar.gz
- http://downloads.us.xiph.org/releases/speex/speex-1.2.0.tar.gz
- http://downloads.us.xiph.org/releases/speex/speexdsp-1.2.0.tar.gz
- http://downloads.webmproject.org/releases/webp/libwebp-1.0.3.tar.gz
- http://downloads.xiph.org/releases/cdparanoia/cdparanoia-III-10.2.src.tgz
- http://downloads.xiph.org/releases/celt/celt-0.11.3.tar.gz
- http://downloads.xiph.org/releases/celt/celt-0.5.1.3.tar.gz
- http://downloads.xiph.org/releases/celt/celt-0.7.1.tar.gz
- http://downloads.xiph.org/releases/flac/flac-1.3.3.tar.xz
- http://downloads.xiph.org/releases/icecast/icecast-2.4.4.tar.gz
- http://downloads.xiph.org/releases/libfishsound/libfishsound-1.0.0.tar.gz
- http://downloads.xiph.org/releases/liboggz/liboggz-1.1.1.tar.gz
- http://downloads.xiph.org/releases/libshout/libshout-2.4.1.tar.gz
- http://downloads.xiph.org/releases/libshout/libshout-2.4.3.tar.gz
- http://downloads.xiph.org/releases/ogg/libogg-1.3.4.tar.xz
- http://downloads.xiph.org/releases/opus/opus-tools-0.2.tar.gz
- http://downloads.xiph.org/releases/opus/opusfile-0.11.tar.gz
- http://downloads.xiph.org/releases/theora/libtheora-1.1.1.tar.gz
- http://downloads.xiph.org/releases/vorbis/libvorbis-1.3.6.tar.xz
- http://downloads.xiph.org/releases/vorbis/vorbis-tools-1.4.0.tar.gz
- http://downloads.xvid.org/downloads/xvidcore-1.3.5.tar.bz2
- http://dpdk.org/browse/apps/pktgen-dpdk/snapshot/pktgen-19.12.0.tar.xz
- http://duktape.org/duktape-2.5.0.tar.xz
- http://dvdnav.mplayerhq.hu/releases/libdvdnav-4.2.1.tar.xz
- http://dvdnav.mplayerhq.hu/releases/libdvdread-4.9.9.tar.xz
- http://eddylab.org/software/hmmer/hmmer-3.3.tar.gz
- http://elinks.or.cz/download/elinks-0.12pre6.tar.bz2
- http://enet.bespin.org/download/enet-1.3.15.tar.gz
- http://entrproject.org/code/entr-4.5.tar.gz
- http://ephemeralpg.org/code/ephemeralpg-3.0.tar.gz
- http://ex-parrot.com/pdw/iftop/download/iftop-1.0pre4.tar.gz
- http://excess.org/speedometer/speedometer-2.8.tar.gz
- http://faculty.cse.tamu.edu/davis/SuiteSparse/SuiteSparse-4.4.4.tar.gz
- http://faculty.missouri.edu/~stephen/software/xkbset/xkbset-0.5.tar.gz
- http://fallabs.com/kyotocabinet/pkg/kyotocabinet-1.2.76.tar.gz
- http://fallabs.com/tokyocabinet/tokyocabinet-1.4.48.tar.gz
- http://fastjet.fr/repo/fastjet-3.3.4.tar.gz
- http://fastjet.hepforge.org/contrib/downloads/fjcontrib-1.042.tar.gz
- http://fcron.free.fr/archives/fcron-3.3.0.src.tar.gz
- http://ferm.foo-projects.org/download/2.5/ferm-2.5.1.tar.xz
- http://fftw.org/fftw-3.3.8.tar.gz
- http://files.ax86.net/terminus-ttf/files/4.47.0/terminus-ttf-4.47.0.zip
- http://files.basex.org/releases/8.6.6/BaseX866.zip
- http://files.itstool.org/itstool/itstool-2.0.6.tar.bz2
- http://files.libburnia-project.org/releases/libburn-1.5.2.tar.gz
- http://files.libburnia-project.org/releases/libisoburn-1.5.2.tar.gz
- http://files.libburnia-project.org/releases/libisofs-1.5.2.tar.gz
- http://files.pharo.org/platform/launcher/PharoLauncher-user-stable-2017.02.28.zip
- http://files.pharo.org/sources/PharoV10.sources.zip
- http://files.pharo.org/sources/PharoV20.sources.zip
- http://files.pharo.org/sources/PharoV30.sources.zip
- http://files.pharo.org/sources/PharoV40.sources.zip
- http://files.pharo.org/sources/PharoV50.sources.zip
- http://files.pharo.org/sources/PharoV60.sources.zip
- http://files.pharo.org/vm/src/vm-unix-sources/blessed/pharo-vm-2016.02.18.tar.bz2
- http://files.salome-platform.org/Salome/other/med-4.0.0.tar.gz
- http://files.zerodogg.org/swec/swec-0.4.tar.bz2
- http://fmv.jku.at/aiger/aiger-1.9.9.tar.gz
- http://fmv.jku.at/picosat/picosat-965.tar.gz
- http://fondu.sourceforge.net/fondu_src-060102.tgz
- http://fontconfig.org/release/fontconfig-2.10.2.tar.bz2
- http://fontconfig.org/release/fontconfig-2.12.6.tar.bz2
- http://foremost.sourceforge.net/pkg/foremost-1.5.7.tar.gz
- http://forge.ocamlcore.org/frs/download.php/1209/ocamlify-0.0.2.tar.gz
- http://fossies.org/linux/privat/libcaca-0.99.beta19.tar.gz
- http://frama-c.com/download/frama-c-20.0-Calcium.tar.gz
- http://freedesktop.org/software/pulseaudio/releases/pulseaudio-13.0.tar.xz
- http://frodo.looijaard.name/system/files/software/getopt/getopt-1.1.6.tar.gz
- http://ftp.aegisub.org/pub/releases/aegisub-3.2.2.tar.xz
- http://ftp.be.debian.org/pub/linux/utils/kernel/cpufreq/cpufrequtils-008.tar.gz
- http://ftp.daper.net/pub/soft/moc/stable/moc-2.5.2.tar.bz2
- http://ftp.de.debian.org/debian/pool/main/e/epstool/epstool_3.08+repack.orig.tar.gz
- http://ftp.de.debian.org/debian/pool/main/h/hfsprogs/hfsprogs_332.25-11.debian.tar.gz
- http://ftp.de.debian.org/debian/pool/main/j/jigdo/jigdo_0.7.3.orig.tar.gz
- http://ftp.debian.org/debian/pool/main/a/apt-cacher-ng/apt-cacher-ng_3.5.orig.tar.xz
- http://ftp.debian.org/debian/pool/main/o/oroborus/oroborus_2.0.20.tar.gz
- http://ftp.ebi.ac.uk/pub/software/vertebrategenomics/exonerate/exonerate-2.4.0.tar.gz
- http://ftp.epicsol.org/pub/epic/EPIC5-PRODUCTION/epic5-2.0.1.tar.xz
- http://ftp.fi.muni.cz/pub/linux/gentoo/distfiles/STIXv1.1.1-word.zip
- http://ftp.funet.fi/pub/mirrors/ftp.astron.com/pub/tcsh/tcsh-6.22.02.tar.gz
- http://ftp.geda-project.org/geda-gaf/stable/v1.8/1.8.2/geda-gaf-1.8.2.tar.gz
- http://ftp.gnome.org/pub/GNOME/sources/libunique/3.0/libunique-3.0.2.tar.xz
- http://ftp.gnome.org/pub/GNOME/sources/phodav/2.4/phodav-2.4.tar.xz
- http://ftp.gnome.org/pub/GNOME/sources/pinpoint/0.1/pinpoint-0.1.8.tar.xz
- http://ftp.gnome.org/pub/gnome/sources/pygtksourceview/2.10/pygtksourceview-2.10.1.tar.bz2
- http://ftp.math.utah.edu/pub/bibclean/bibclean-3.04.tar.xz
- http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2019/texlive-20190410-source.tar.xz
- http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.13.1.tar.gz
- http://ftp.musicbrainz.org/pub/musicbrainz/libdiscid/libdiscid-0.6.2.tar.gz
- http://ftp.mutt.org/pub/mutt/mutt-1.14.2.tar.gz
- http://ftp.netfilter.org/pub/ebtables/ebtables-2.0.11.tar.gz
- http://ftp.nluug.nl/pub/editors/ted/ted-2.23.src.tar.gz
- http://ftp.openbsd.org/pub/OpenBSD/LibreSSL/libressl-2.9.2.tar.gz
- http://ftp.openbsd.org/pub/OpenBSD/LibreSSL/libressl-3.0.2.tar.gz
- http://ftp.openbsd.org/pub/OpenBSD/OpenNTPD/openntpd-6.2p3.tar.gz
- http://ftp.openbsd.org/pub/OpenBSD/OpenSSH/portable/openssh-8.2p1.tar.gz
- http://ftp.postgresql.org/pub/odbc/versions/src/psqlodbc-10.01.0000.tar.gz
- http://ftp.postgresql.org/pub/source/v10.12/postgresql-10.12.tar.bz2
- http://ftp.postgresql.org/pub/source/v11.7/postgresql-11.7.tar.bz2
- http://ftp.postgresql.org/pub/source/v12.2/postgresql-12.2.tar.bz2
- http://ftp.postgresql.org/pub/source/v9.5.21/postgresql-9.5.21.tar.bz2
- http://ftp.postgresql.org/pub/source/v9.6.17/postgresql-9.6.17.tar.bz2
- http://ftp.rpm.org/releases/rpm-4.14.x/rpm-4.14.2.1.tar.bz2
- http://ftp.snt.utwente.nl/pub/os/linux/gentoo/distfiles/mtx-1.3.12.tar.gz
- http://ftp.snt.utwente.nl/pub/os/linux/gentoo/distfiles/net-tools-1.60_p20180626073013.tar.xz
- http://ftp.snt.utwente.nl/pub/os/linux/gentoo/distfiles/vlan.1.9.tar.gz
- http://ftp.snt.utwente.nl/pub/os/linux/gentoo/distfiles/xrestop-0.4.tar.gz
- http://ftp.tu-chemnitz.de/pub/Local/urz/ding/ding-1.8.1.tar.gz
- http://ftp.uni-kl.de/pub/linux/suse/people/sbrabec/bzip2/tarballs/bzip2-1.0.6.0.1.tar.gz
- http://ftp.wagner.pp.ru/pub/catdoc/catdoc-0.95.tar.gz
- http://fungi.yuggoth.org/weather/src/weather-2.3.tar.xz
- http://fwts.ubuntu.com/release/fwts-V20.05.00.tar.gz
- http://fy.chalmers.se/~appro/linux/DVD+RW/tools/dvd+rw-tools-7.1.tar.gz
- http://gael.roualland.free.fr/ifstat/ifstat-1.1.tar.gz
- http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz
- http://gallium.inria.fr/~fpottier/pprint/pprint-20171003.tar.gz
- http://gallium.inria.fr/~fpottier/visitors/visitors-20190711.tar.gz
- http://gcompris.net/download/qt/src/gcompris-qt-0.98.tar.xz
- http://gdome2.cs.unibo.it/tarball/gdome2-0.8.1.tar.gz
- http://gede.acidron.com/uploads/source/gede-2.16.2.tar.xz
- http://geeqie.org/geeqie-1.4.tar.xz
- http://get.bitlbee.org/src/bitlbee-3.6.tar.gz
- http://get.videolan.org/libaacs/0.10.0/libaacs-0.10.0.tar.bz2
- http://get.videolan.org/libbdplus/0.1.2/libbdplus-0.1.2.tar.bz2
- http://get.videolan.org/libbluray/1.2.0/libbluray-1.2.0.tar.bz2
- http://get.videolan.org/libdvbpsi/1.3.3/libdvbpsi-1.3.3.tar.bz2
- http://get.videolan.org/libdvdcss/1.4.2/libdvdcss-1.4.2.tar.bz2
- http://get.videolan.org/libdvdnav/6.1.0/libdvdnav-6.1.0.tar.bz2
- http://get.videolan.org/libdvdread/6.1.1/libdvdread-6.1.1.tar.bz2
- http://get.videolan.org/vlc/3.0.10/vlc-3.0.10.tar.xz
- http://getdp.info/src/getdp-3.3.0-source.tgz
- http://getpopfile.org/downloads/popfile-1.1.3.zip
- http://geuz.org/gl2ps/src/gl2ps-1.4.2.tgz
- http://gforge.inria.fr/frs/download.php/file/36224/ecm-7.0.4.tar.gz
- http://gkrellm.srcbox.net/releases/gkrellm-2.3.11.tar.bz2
- http://glaros.dtc.umn.edu/gkhome/fetch/sw/metis/metis-5.1.0.tar.gz
- http://gmsh.info/src/gmsh-4.5.6-source.tgz
- http://gnu.spinellicreations.com/gcl/gcl-2.6.12.tar.gz
- http://gondor.apana.org.au/~herbert/dash/files/dash-0.5.10.2.tar.gz
- http://gregory.kokanosky.free.fr/v4/linux/nrg2iso-0.4.tar.gz
- http://grid-deployment.web.cern.ch/grid-deployment/dms/lcgutil/tar/davix/0.7.6/davix-0.7.6.tar.gz
- http://grsecurity.net/stable/gradm-3.1-201903191516.tar.gz
- http://guichaz.free.fr/iotop/files/iotop-0.6.tar.bz2
- http://guichaz.free.fr/polysh/files/polysh-0.4.tar.bz2
- http://guichaz.free.fr/untie/files/untie-0.3.tar.bz2
- http://hackage.haskell.org/package/3d-graphics-examples-0.0.0.2.tar.gz
- http://hackage.haskell.org/package/ABList-0.0.3.tar.gz
- http://hackage.haskell.org/package/AC-Angle-1.0.tar.gz
- http://hackage.haskell.org/package/AC-Boolean-1.1.0.tar.gz
- http://hackage.haskell.org/package/AC-Colour-1.1.6.tar.gz
- http://hackage.haskell.org/package/AC-PPM-1.1.1.tar.gz
- http://hackage.haskell.org/package/AC-Random-0.1.tar.gz
- http://hackage.haskell.org/package/ADPfusion-0.6.0.0.tar.gz
- http://hackage.haskell.org/package/AES-0.2.9.tar.gz
- http://hackage.haskell.org/package/AFSM-0.1.3.1.tar.gz
- http://hackage.haskell.org/package/ALUT-2.4.0.3.tar.gz
- http://hackage.haskell.org/package/ANum-0.2.0.2.tar.gz
- http://hackage.haskell.org/package/AVar-0.0.5.1.tar.gz
- http://hackage.haskell.org/package/Agda-2.6.1.tar.gz
- http://hackage.haskell.org/package/Ansi2Html-0.9.tar.gz
- http://hackage.haskell.org/package/BNFC-2.8.3.tar.gz
- http://hackage.haskell.org/package/BNFC-meta-0.6.1.tar.gz
- http://hackage.haskell.org/package/BerkeleyDB-0.8.7.tar.gz
- http://hackage.haskell.org/package/BigPixel-1.3.0.tar.gz
- http://hackage.haskell.org/package/Binpack-0.4.1.tar.gz
- http://hackage.haskell.org/package/BitSyntax-0.3.2.1.tar.gz
- http://hackage.haskell.org/package/BluePrintCSS-0.1.tar.gz
- http://hackage.haskell.org/package/Boolean-0.2.4.tar.gz
- http://hackage.haskell.org/package/BoundedChan-1.0.3.0.tar.gz
- http://hackage.haskell.org/package/CSPM-CoreLanguage-0.3.1.0.tar.gz
- http://hackage.haskell.org/package/CTRex-0.6.tar.gz
- http://hackage.haskell.org/package/Cabal-3.2.0.0.tar.gz
- http://hackage.haskell.org/package/Cardinality-0.2.tar.gz
- http://hackage.haskell.org/package/ChannelT-0.0.0.7.tar.gz
- http://hackage.haskell.org/package/Chart-1.9.3.tar.gz
- http://hackage.haskell.org/package/Chart-cairo-1.9.3.tar.gz
- http://hackage.haskell.org/package/Chart-diagrams-1.9.3.tar.gz
- http://hackage.haskell.org/package/Chart-gtk-1.9.3.tar.gz
- http://hackage.haskell.org/package/Chart-gtk3-1.9.3.tar.gz
- http://hackage.haskell.org/package/Chart-tests-1.9.3.tar.gz
- http://hackage.haskell.org/package/ChasingBottoms-1.3.1.8.tar.gz
- http://hackage.haskell.org/package/CheatSheet-2.9.tar.gz
- http://hackage.haskell.org/package/CirruParser-0.0.1.tar.gz
- http://hackage.haskell.org/package/Clipboard-2.3.2.0.tar.gz
- http://hackage.haskell.org/package/Codec-Compression-LZF-0.2.tar.gz
- http://hackage.haskell.org/package/Codec-Image-DevIL-0.2.4.tar.gz
- http://hackage.haskell.org/package/ConfigFile-1.1.4.tar.gz
- http://hackage.haskell.org/package/ConsStream-0.1.tar.gz
- http://hackage.haskell.org/package/Control-Engine-1.1.0.1.tar.gz
- http://hackage.haskell.org/package/Crypto-4.2.5.1.tar.gz
- http://hackage.haskell.org/package/DAV-1.3.4.tar.gz
- http://hackage.haskell.org/package/DCFL-0.1.6.0.tar.gz
- http://hackage.haskell.org/package/DOH-0.1.4.0.tar.gz
- http://hackage.haskell.org/package/DPutils-0.1.0.0.tar.gz
- http://hackage.haskell.org/package/DRBG-0.5.5.tar.gz
- http://hackage.haskell.org/package/Data-Angle-0.9.tar.gz
- http://hackage.haskell.org/package/Data-Hash-Consistent-0.1.1.tar.gz
- http://hackage.haskell.org/package/DataIndex-0.1.1.tar.gz
- http://hackage.haskell.org/package/DataVersion-0.1.0.0.tar.gz
- http://hackage.haskell.org/package/DebugTraceHelpers-0.12.tar.gz
- http://hackage.haskell.org/package/Decimal-0.5.1.tar.gz
- http://hackage.haskell.org/package/DeepArrow-0.4.0.tar.gz
- http://hackage.haskell.org/package/DeepDarkFantasy-0.2017.8.19.tar.gz
- http://hackage.haskell.org/package/DescriptiveKeys-0.0.4.tar.gz
- http://hackage.haskell.org/package/Diff-0.4.0.tar.gz
- http://hackage.haskell.org/package/Digit-0.0.3.tar.gz
- http://hackage.haskell.org/package/DistanceTransform-0.1.2.tar.gz
- http://hackage.haskell.org/package/DistanceUnits-0.1.0.1.tar.gz
- http://hackage.haskell.org/package/Docs-1.0.0.tar.gz
- http://hackage.haskell.org/package/EEConfig-1.0.tar.gz
- http://hackage.haskell.org/package/ENIG-0.0.1.0.tar.gz
- http://hackage.haskell.org/package/Earley-0.13.0.1.tar.gz
- http://hackage.haskell.org/package/Ebnf2ps-1.0.15.tar.gz
- http://hackage.haskell.org/package/EdisonAPI-1.3.1.tar.gz
- http://hackage.haskell.org/package/EdisonCore-1.3.2.1.tar.gz
- http://hackage.haskell.org/package/Encode-1.3.8.tar.gz
- http://hackage.haskell.org/package/Enum-0.2.0.0.tar.gz
- http://hackage.haskell.org/package/EuroIT-2010.2.5.tar.gz
- http://hackage.haskell.org/package/Euterpea-2.0.7.tar.gz
- http://hackage.haskell.org/package/FAI-0.1.0.20.tar.gz
- http://hackage.haskell.org/package/FTGL-2.1.tar.gz
- http://hackage.haskell.org/package/FenwickTree-0.1.2.1.tar.gz
- http://hackage.haskell.org/package/Fin-0.2.9.0.tar.gz
- http://hackage.haskell.org/package/FindBin-0.0.5.tar.gz
- http://hackage.haskell.org/package/FixedPoint-simple-0.6.1.tar.gz
- http://hackage.haskell.org/package/FloatingHex-0.4.tar.gz
- http://hackage.haskell.org/package/Focus-0.1.2.tar.gz
- http://hackage.haskell.org/package/Folly-0.2.0.1.tar.gz
- http://hackage.haskell.org/package/FontyFruity-0.5.3.5.tar.gz
- http://hackage.haskell.org/package/ForestStructures-0.0.1.0.tar.gz
- http://hackage.haskell.org/package/FpMLv53-0.1.tar.gz
- http://hackage.haskell.org/package/FractalArt-0.2.0.3.tar.gz
- http://hackage.haskell.org/package/Frames-0.6.4.tar.gz
- http://hackage.haskell.org/package/Frames-map-reduce-0.3.0.0.tar.gz
- http://hackage.haskell.org/package/GA-1.0.tar.gz
- http://hackage.haskell.org/package/GHood-0.0.7.tar.gz
- http://hackage.haskell.org/package/GLFW-b-3.3.0.0.tar.gz
- http://hackage.haskell.org/package/GLHUI-1.1.0.tar.gz
- http://hackage.haskell.org/package/GLM-0.7.0.0.tar.gz
- http://hackage.haskell.org/package/GLURaw-2.0.0.4.tar.gz
- http://hackage.haskell.org/package/GLUT-2.7.0.15.tar.gz
- http://hackage.haskell.org/package/GaussQuadIntegration-0.1.tar.gz
- http://hackage.haskell.org/package/GenericPretty-1.2.2.tar.gz
- http://hackage.haskell.org/package/Geodetic-0.4.tar.gz
- http://hackage.haskell.org/package/GeomPredicates-0.1.tar.gz
- http://hackage.haskell.org/package/GiveYouAHead-0.2.2.3.tar.gz
- http://hackage.haskell.org/package/Gleam-0.1.1.0.tar.gz
- http://hackage.haskell.org/package/Glob-0.10.0.tar.gz
- http://hackage.haskell.org/package/GlomeVec-0.2.tar.gz
- http://hackage.haskell.org/package/GoogleChart-0.2.tar.gz
- http://hackage.haskell.org/package/GoogleSuggest-0.0.4.tar.gz
- http://hackage.haskell.org/package/GraphSCC-1.0.4.tar.gz
- http://hackage.haskell.org/package/GtkTV-0.2.0.tar.gz
- http://hackage.haskell.org/package/HAppSHelpers-0.11.tar.gz
- http://hackage.haskell.org/package/HCodecs-0.5.2.tar.gz
- http://hackage.haskell.org/package/HDBC-2.4.0.3.tar.gz
- http://hackage.haskell.org/package/HDBC-odbc-2.6.0.0.tar.gz
- http://hackage.haskell.org/package/HDBC-postgresql-2.3.2.7.tar.gz
- http://hackage.haskell.org/package/HDBC-session-0.1.2.0.tar.gz
- http://hackage.haskell.org/package/HDBC-sqlite3-2.3.3.1.tar.gz
- http://hackage.haskell.org/package/HFuse-0.2.5.0.tar.gz
- http://hackage.haskell.org/package/HGL-3.2.3.2.tar.gz
- http://hackage.haskell.org/package/HMap-1.3.0.tar.gz
- http://hackage.haskell.org/package/HMarkov-1.0.1.1.tar.gz
- http://hackage.haskell.org/package/HNumeric-0.5.0.2.tar.gz
- http://hackage.haskell.org/package/HSH-2.1.3.tar.gz
- http://hackage.haskell.org/package/HSlippyMap-3.0.1.tar.gz
- http://hackage.haskell.org/package/HStringTemplate-0.8.7.tar.gz
- http://hackage.haskell.org/package/HSvm-0.1.1.3.22.tar.gz
- http://hackage.haskell.org/package/HTTP-4000.3.14.tar.gz
- http://hackage.haskell.org/package/HTTP-Simple-0.2.tar.gz
- http://hackage.haskell.org/package/HUnit-1.6.0.0.tar.gz
- http://hackage.haskell.org/package/HUnit-Plus-2.0.0.tar.gz
- http://hackage.haskell.org/package/HUnit-approx-1.1.1.1.tar.gz
- http://hackage.haskell.org/package/HaTeX-3.22.2.0.tar.gz
- http://hackage.haskell.org/package/HaXml-1.25.5.tar.gz
- Branches list truncated to 1000 entries, 20100 were omitted.
No releases to show
History
Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier swh:1:dir:6acb749dac59655b30fde19cf4c8c41ee9ef293e into a standard tar.gz archive.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier swh:1:dir:6acb749dac59655b30fde19cf4c8c41ee9ef293e as a standard tar.gz archive.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:8d2a8b46f79718e0ffba5cbfdfda5042c32ae086 into a bare git archive.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:8d2a8b46f79718e0ffba5cbfdfda5042c32ae086 as a bare git archive.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
Permalinks
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
Tip revision: 8d2a8b46f79718e0ffba5cbfdfda5042c32ae086 authored by on None
Tip revision: 8d2a8b4
| File | Mode | Size |
|---|---|---|
| common | ||
| doc | ||
| emacs | ||
| examples | ||
| smt | ||
| .depend | -rw-r--r-- | 15.6 KB |
| CHANGES | -rw-r--r-- | 4.8 KB |
| LICENSE | -rw-r--r-- | 11.1 KB |
| Makefile.in | -rw-r--r-- | 14.7 KB |
| README.md | -rw-r--r-- | 2.1 KB |
| approx.ml | -rw-r--r-- | 11.0 KB |
| approx.mli | -rw-r--r-- | 1.8 KB |
| ast.mli | -rw-r--r-- | 5.6 KB |
| brab.ml | -rw-r--r-- | 2.6 KB |
| brab.mli | -rw-r--r-- | 1.3 KB |
| bwd.ml | -rw-r--r-- | 12.5 KB |
| bwd.mli | -rw-r--r-- | 2.7 KB |
| configure | -rwxr-xr-x | 98.1 KB |
| configure.in | -rw-r--r-- | 4.2 KB |
| cube.ml | -rw-r--r-- | 21.6 KB |
| cube.mli | -rw-r--r-- | 3.6 KB |
| cubetrie.ml | -rw-r--r-- | 12.2 KB |
| cubetrie.mli | -rw-r--r-- | 2.9 KB |
| dot.ml | -rw-r--r-- | 7.5 KB |
| dot.mli | -rw-r--r-- | 1.4 KB |
| enumerative.ml | -rw-r--r-- | 44.9 KB |
| enumerative.mli | -rw-r--r-- | 3.2 KB |
| fake_functory.ml | -rw-r--r-- | 1.2 KB |
| fake_functory.mli | -rw-r--r-- | 1.4 KB |
| fixpoint.ml | -rw-r--r-- | 14.1 KB |
| fixpoint.mli | -rw-r--r-- | 2.6 KB |
| forward.ml | -rw-r--r-- | 32.0 KB |
| forward.mli | -rw-r--r-- | 2.9 KB |
| instantiation.ml | -rw-r--r-- | 6.5 KB |
| instantiation.mli | -rw-r--r-- | 1.9 KB |
| lexer.mll | -rw-r--r-- | 4.4 KB |
| main.ml | -rw-r--r-- | 4.5 KB |
| mulexer.mll | -rw-r--r-- | 3.1 KB |
| muparser.mly | -rw-r--r-- | 4.0 KB |
| muparser_globals.ml | -rw-r--r-- | 1.2 KB |
| muparser_globals.mli | -rw-r--r-- | 1.4 KB |
| murphi.ml | -rw-r--r-- | 34.2 KB |
| murphi.mli | -rw-r--r-- | 1.6 KB |
| node.ml | -rw-r--r-- | 6.5 KB |
| node.mli | -rw-r--r-- | 2.8 KB |
| options.ml | -rw-r--r-- | 10.2 KB |
| options.mli | -rw-r--r-- | 2.4 KB |
| oracle.mli | -rw-r--r-- | 1.6 KB |
| parser.mly | -rw-r--r-- | 12.0 KB |
| pre.ml | -rw-r--r-- | 10.2 KB |
| pre.mli | -rw-r--r-- | 1.6 KB |
| pretty.ml | -rw-r--r-- | 6.0 KB |
| pretty.mli | -rw-r--r-- | 1.7 KB |
| prover.ml | -rw-r--r-- | 7.3 KB |
| prover.mli | -rw-r--r-- | 2.4 KB |
| ptree.ml | -rw-r--r-- | 25.4 KB |
| ptree.mli | -rw-r--r-- | 3.8 KB |
| safety.ml | -rw-r--r-- | 1.8 KB |
| safety.mli | -rw-r--r-- | 1.4 KB |
| stats.ml | -rw-r--r-- | 9.8 KB |
| stats.mli | -rw-r--r-- | 2.3 KB |
| trace.ml | -rw-r--r-- | 74.4 KB |
| trace.mli | -rw-r--r-- | 2.0 KB |
| types.ml | -rw-r--r-- | 16.5 KB |
| types.mli | -rw-r--r-- | 8.0 KB |
| typing.ml | -rw-r--r-- | 17.9 KB |
| typing.mli | -rw-r--r-- | 1.4 KB |
| util.ml | -rw-r--r-- | 5.1 KB |
| util.mli | -rw-r--r-- | 2.5 KB |
| variable.ml | -rw-r--r-- | 7.6 KB |
| variable.mli | -rw-r--r-- | 3.2 KB |
| version.ml | -rw-r--r-- | 102 bytes |
