All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.
For information about dotsrc.org and our other services please go to our website.
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
KNvKN.rtbz | 80 B | 2017-03-09 14:11:28 |
conveysdl.png | 328 B | 2022-08-11 16:47:14 |
help-extra-syntax-20050106.tar.bz2 | 633 B | 2005-01-06 02:06:25 |
cproto-4.7v.tgz.asc | 729 B | 2023-03-01 01:47:32 |
ncurses-6.4-20230729.patch.gz.asc | 729 B | 2023-07-29 17:21:21 |
cob.png | 755 B | 2022-08-11 14:31:57 |
rustc-1.80.1-src.tar.xz.asc | 801 B | 2024-08-08 14:06:31 |
meson-1.1.1.tar.gz.asc | 833 B | 2023-05-25 19:05:55 |
capt-of.r29803.tar.xz | 1.1 KiB | 2019-02-28 02:23:53 |
bash41-005 | 1.6 KiB | 2010-04-07 18:50:42 |
schola-otf.r64734.tar.xz | 2.3 KiB | 2022-10-17 23:55:17 |
phfparen.r41859.tar.xz | 2.3 KiB | 2019-02-28 02:59:36 |
icite.r67201.tar.xz | 2.4 KiB | 2023-05-23 23:44:39 |
docshots.r69676.tar.xz | 2.7 KiB | 2024-02-03 00:45:58 |
glossaries-portuges.source.r36064.tar.xz | 2.8 KiB | 2019-02-28 02:39:58 |
hypdestopt.r71991.tar.xz | 2.8 KiB | 2024-08-07 23:47:47 |
tocbibind.r20085.tar.xz | 2.8 KiB | 2019-02-28 03:09:42 |
odesandpdes.r69485.tar.xz | 3.2 KiB | 2024-01-19 00:44:54 |
guitlogo.r55741.tar.xz | 3.3 KiB | 2020-07-03 23:56:14 |
ats2-0.4.2-2-prelude-function-prototypes.patch | 3.6 KiB | 2024-05-09 21:19:16 |
nomencl.r61029.tar.xz | 3.7 KiB | 2021-11-12 00:53:14 |
Time-Piece-MySQL-0.06.tar.gz | 3.8 KiB | 2008-06-07 15:26:02 |
datetime2-hebrew.source.r47534.tar.xz | 3.8 KiB | 2019-02-28 02:31:19 |
info-1.7.tar.bz2 | 3.9 KiB | 2003-08-04 17:40:16 |
bash-2.05b_p13-patches.tar.xz | 4.1 KiB | 2022-06-07 10:36:21 |
mathfam256.r53519.tar.xz | 4.2 KiB | 2020-01-24 00:57:16 |
bash50-002 | 4.3 KiB | 2019-01-18 20:03:00 |
gentoo-tex-patches-6.tar.bz2 | 4.4 KiB | 2024-11-29 12:52:11 |
genmpage.source.r15878.tar.xz | 4.5 KiB | 2019-02-28 02:39:19 |
buildbot_badges-3.11.9.tar.gz | 4.6 KiB | 2024-10-14 01:46:22 |
Pod-Simple-LaTeX-0.06.tar.gz | 4.7 KiB | 2003-10-22 20:36:26 |
jane-street-headers-0.15.0.tar.gz | 4.8 KiB | 2022-01-30 12:52:31 |
mismath.r71549.tar.xz | 4.8 KiB | 2024-06-17 23:46:24 |
hfbright.doc.r29349.tar.xz | 4.8 KiB | 2019-02-28 02:41:46 |
apptools.source.r28400.tar.xz | 5.2 KiB | 2019-02-28 02:15:00 |
lexiclean-0.0.1.crate | 5.2 KiB | 2020-04-22 06:07:31 |
luamathalign.source.r63226.tar.xz | 5.6 KiB | 2022-05-04 23:53:00 |
aobs-tikz.source.r70952.tar.xz | 5.8 KiB | 2024-04-15 23:47:37 |
kqueue-sys-1.0.3.crate | 6.5 KiB | 2021-08-09 11:15:51 |
templatetools.source.r67201.tar.xz | 6.6 KiB | 2023-05-23 23:44:56 |
block-padding-0.1.5.crate | 7.2 KiB | 2019-11-07 16:10:46 |
trivial-gray-streams-20170830.tar.bz2 | 7.3 KiB | 2017-09-30 11:51:02 |
predicates-tree-1.0.9.crate | 7.8 KiB | 2023-03-15 16:15:41 |
arrow_brushes_BW_2.tar.bz2 | 8.3 KiB | 2009-05-03 05:21:57 |
fixme.r63708.tar.xz | 8.5 KiB | 2022-06-23 23:57:01 |
md2-0.10.2.crate | 8.9 KiB | 2022-10-05 13:51:11 |
abc.source.r41157.tar.xz | 9.4 KiB | 2019-02-28 02:13:42 |
seuthesix.r40088.tar.xz | 9.7 KiB | 2019-02-28 03:05:25 |
burrow_exporter-0.0.6.tar.gz | 9.7 KiB | 2018-07-26 18:52:13 |
company-ebuild-0.1.4.tar.gz | 11.5 KiB | 2023-06-18 20:52:08 |
seq-0.2.2.tar.gz | 12.0 KiB | 2021-07-06 18:52:27 |
anstyle-wincon-3.0.6.crate | 12.0 KiB | 2024-10-24 20:00:34 |
gridtables-0.1.0.0.tar.gz | 12.0 KiB | 2022-09-30 16:29:12 |
jaraco_path-3.7.2.tar.gz | 12.1 KiB | 2024-12-22 16:39:42 |
braincurses-1.1.0.tar.gz | 12.7 KiB | 2019-08-21 10:53:24 |
either-1.6.1.crate | 13.3 KiB | 2020-09-16 23:10:38 |
windows-strings-0.1.0.crate | 13.5 KiB | 2024-07-03 19:46:44 |
queue-repair-0.9.0.tar.gz | 13.6 KiB | 2005-02-16 01:25:01 |
erubi-1.13.1.tar.gz | 13.7 KiB | 2024-12-20 06:52:30 |
profsio.r69745.tar.xz | 14.3 KiB | 2024-02-09 00:44:20 |
parameterized-2.0.0.crate | 14.7 KiB | 2024-03-05 08:13:14 |
rust-ini-0.18.0.crate | 15.1 KiB | 2022-02-21 14:09:36 |
redox_users-0.4.5.crate | 15.2 KiB | 2024-03-31 12:56:20 |
slab-0.4.4.crate | 15.4 KiB | 2021-08-06 14:17:45 |
histogram-0.2.4.1.gem | 15.5 KiB | 2016-02-02 05:19:16 |
python_json_logger-3.2.0.tar.gz | 15.8 KiB | 2024-12-12 05:38:32 |
Devel-OverloadInfo-0.007.tar.gz | 15.9 KiB | 2021-04-28 15:19:20 |
bullcntr.source.r15878.tar.xz | 16.7 KiB | 2019-02-28 02:23:28 |
sphinxcontrib_qthelp-2.0.0.tar.gz | 16.8 KiB | 2024-07-29 01:09:58 |
substr.doc.r16117.tar.xz | 17.3 KiB | 2019-02-28 03:06:29 |
monica-3.7.tar.bz2 | 17.9 KiB | 2008-06-02 04:14:30 |
ExtUtils-InstallPaths-0.013.tar.gz | 18.7 KiB | 2024-04-25 10:28:55 |
arch-install-scripts-v28.tar.gz | 19.3 KiB | 2023-02-24 16:52:59 |
askama_parser-0.2.1.crate | 20.2 KiB | 2024-01-18 10:31:13 |
genindex-0.1.3.tar.gz | 20.5 KiB | 2006-06-05 17:24:32 |
ppx_deriving_yojson-3.9.0.tar.gz | 20.5 KiB | 2024-10-18 18:52:20 |
swfigure.source.r63255.tar.xz | 20.7 KiB | 2022-05-07 23:54:44 |
japanese-mathformulas.r64678.tar.xz | 21.6 KiB | 2022-10-10 23:53:36 |
Archive_Tar-1.5.0.tgz | 21.8 KiB | 2024-03-16 16:23:54 |
jsonm-1.0.2.tbz | 21.8 KiB | 2024-11-21 16:02:59 |
mutt-gentoo-2.2.12-patches-r0.tar.xz | 21.9 KiB | 2023-09-10 10:47:13 |
pacioli.doc.r24947.tar.xz | 25.4 KiB | 2019-02-28 02:58:14 |
lexical-core-0.8.5.crate | 26.1 KiB | 2022-05-18 19:59:09 |
Config-Tiny-2.30.tgz | 26.3 KiB | 2023-10-12 23:47:12 |
powerpc-utils_1.1.3-18.diff.gz | 26.6 KiB | 2005-10-19 16:17:06 |
mtkbabel-0.8.3.1.tar.gz | 27.8 KiB | 2011-07-30 16:34:47 |
yubico-20240704-7FBB6186957496D58C751AC20E777DD85755AA4A.asc | 27.9 KiB | 2023-08-14 06:56:33 |
semver-1.0.17.crate | 29.0 KiB | 2023-03-12 18:03:40 |
serde_with_macros-3.8.1.crate | 30.1 KiB | 2024-04-28 20:34:36 |
derive_builder_core-0.20.1.crate | 31.5 KiB | 2024-08-29 13:30:57 |
java-diff-utils-1.3.0-sources.jar | 34.3 KiB | 2013-03-04 15:07:12 |
openpgp-keys-apache-tomcat-10.1.31-KEYS.asc | 34.6 KiB | 2024-10-03 19:13:08 |
yara-python-4.5.1.gh.tar.gz | 38.5 KiB | 2024-12-17 20:52:29 |
fwupd-efi-1.6.tar.xz | 39.0 KiB | 2024-04-15 20:22:35 |
6.7.3-0-202409200836qtnetworkauth-examples-6.7.3.7z | 40.6 KiB | 2024-09-24 04:47:51 |
base64-0.10.1.crate | 41.0 KiB | 2019-01-25 03:12:30 |
Net-Telnet-3.05.tar.gz | 41.6 KiB | 2021-06-21 03:47:48 |
gfloat-0.3.tar.gz | 42.8 KiB | 2024-06-10 15:13:07 |
quack-0.48.el.xz | 43.5 KiB | 2019-10-15 14:47:16 |
vdr-dvdswitch-0.2.3.tar.gz | 46.5 KiB | 2024-06-22 19:54:09 |
mustermann-3.0.3.gem | 49.0 KiB | 2024-09-03 10:11:35 |
protox-0.7.0.crate | 50.7 KiB | 2024-07-08 19:05:55 |
http-parser-2.9.4.tar.gz | 50.8 KiB | 2020-03-24 12:53:40 |
humanizer.core.da.2.14.1.nupkg | 55.0 KiB | 2022-01-29 15:17:15 |
glutin-0.31.2.crate | 65.0 KiB | 2023-12-22 17:55:49 |
fortran-modes-1.07-pkg.tar.gz | 68.9 KiB | 2018-07-29 12:08:41 |
ptyprocess-0.7.0.tar.gz | 69.1 KiB | 2020-12-28 15:15:30 |
comfy-table-7.1.3.crate | 72.2 KiB | 2024-11-14 17:36:36 |
calligra.doc.r15878.tar.xz | 75.5 KiB | 2019-02-28 02:23:49 |
xgestures-0.4.tar.bz2 | 76.1 KiB | 2005-10-12 09:16:20 |
wofi-1.4.1.tar.gz | 77.4 KiB | 2024-05-11 17:52:51 |
ccache-4.8-docs.tar.xz | 78.4 KiB | 2023-03-13 22:35:13 |
levmar-2.6.tgz | 79.2 KiB | 2011-11-30 08:11:31 |
phrack36.tar.gz | 79.8 KiB | 2003-03-24 16:23:07 |
adjtimex_1.29.orig.tar.gz | 83.5 KiB | 2010-04-17 03:32:10 |
unic-langid-impl-0.9.5.crate | 87.6 KiB | 2024-05-11 00:36:23 |
boogie.executionengine.3.4.3.nupkg | 88.0 KiB | 2024-11-26 15:25:50 |
ncurses-6.4-20230603.patch.gz | 92.8 KiB | 2023-06-03 22:04:17 |
notify-0f87ab12707d231fa44180454d59478d3992eb59.gh.tar.gz | 94.3 KiB | 2024-08-29 05:52:59 |
uucore-0.0.25.crate | 95.7 KiB | 2024-03-23 21:10:01 |
fluxter-0.1.0.tar.gz | 97.2 KiB | 2003-03-24 16:22:03 |
Crypt-OpenPGP-1.12.tar.gz | 100.7 KiB | 2015-08-16 11:35:42 |
freetype-rs-0.36.0.crate | 103.4 KiB | 2024-02-15 22:17:59 |
pysiril-V0_0_15.tar.bz2 | 105.1 KiB | 2023-04-28 08:52:55 |
gtk4-sys-0.8.2.crate | 107.1 KiB | 2024-04-26 13:25:57 |
menu.doc.r15878.tar.xz | 112.6 KiB | 2019-02-28 02:53:30 |
bcg729-1.1.1.tar.gz | 119.6 KiB | 2020-11-24 02:53:03 |
gnome-2048-3.38.2.tar.xz | 123.8 KiB | 2020-11-22 16:02:14 |
ksystemstats-6.1.5.tar.xz | 126.0 KiB | 2024-09-10 08:50:39 |
cgp-1_p20190510.tar.gz | 136.0 KiB | 2020-08-09 17:53:30 |
jiter-0.7.1.crate | 140.4 KiB | 2024-11-12 13:50:26 |
system.diagnostics.diagnosticsource.4.5.0.nupkg | 151.2 KiB | 2018-12-18 00:05:35 |
csv2svg-0.2.3.crate | 164.6 KiB | 2024-08-12 14:35:07 |
zhspacing.doc.r41145.tar.xz | 165.4 KiB | 2019-02-28 03:19:20 |
kpimtextedit-24.12.0.tar.xz | 172.5 KiB | 2024-12-06 10:28:58 |
wasm-bindgen-0.2.91.crate | 178.4 KiB | 2024-02-06 19:10:50 |
lucene-sandbox-7.1.0.jar | 178.6 KiB | 2017-10-16 17:55:08 |
Mail-DKIM-1.20240124.tar.gz | 179.1 KiB | 2024-01-24 04:02:51 |
midpage.doc.r17484.tar.xz | 184.6 KiB | 2019-02-28 02:54:21 |
ncurses-6.4-20231014.patch.gz | 184.9 KiB | 2023-10-14 23:56:09 |
unisc.doc.r63178.tar.xz | 192.3 KiB | 2022-04-29 23:53:30 |
xli-2005-02-27.tar.gz | 196.3 KiB | 2005-02-28 00:42:40 |
bbdb-3.2.2d_p20231122.tar.gz | 196.6 KiB | 2024-05-06 18:52:07 |
signond-8.61.tar.bz2 | 198.3 KiB | 2024-01-12 14:52:53 |
system.valuetuple.4.5.0.nupkg | 200.1 KiB | 2018-12-18 00:45:19 |
ocaml-migrate-parsetree-2.3.0.tar.gz | 201.9 KiB | 2022-01-31 18:52:31 |
pyjsparser-2.7.1_p20190421.tar.gz | 205.2 KiB | 2021-02-24 08:52:37 |
markdown-mode-2.6.tar.gz | 217.0 KiB | 2023-08-31 21:52:08 |
sdbus-c++-1.4.0.tar.gz | 219.3 KiB | 2023-11-16 23:52:14 |
ttf2pt1-3.4.4.tgz | 225.1 KiB | 2003-12-31 21:41:57 |
xhtml11-20101123.tar.gz | 231.0 KiB | 2018-03-20 05:53:10 |
eyeD3-0.9.7.gh.tar.gz | 243.9 KiB | 2022-10-08 08:52:33 |
wmbiff-0.4.36.tar.gz | 260.0 KiB | 2020-04-23 15:24:24 |
5.15.2-0-202011130614qtserialport-documentation.7z | 271.5 KiB | 2020-11-19 10:29:41 |
catchfile.doc.r53084.tar.xz | 290.4 KiB | 2019-12-11 00:54:31 |
Text-BibTeX-0.89.tar.gz | 294.9 KiB | 2023-01-24 20:11:31 |
fourier.doc.r72243.tar.xz | 295.0 KiB | 2024-09-09 23:47:23 |
vhdl-1.24-pkg.tar.gz | 295.7 KiB | 2018-07-29 12:14:11 |
akonadiconsole-24.08.3.tar.xz | 297.4 KiB | 2024-11-07 19:52:55 |
clearlooks-phenix-7.0.1.tar.gz | 312.0 KiB | 2017-09-16 21:53:28 |
avalonia.themes.fluent.11.2.2.nupkg | 315.7 KiB | 2024-11-26 04:40:26 |
nxuthesis.doc.r71344.tar.xz | 320.9 KiB | 2024-05-24 23:47:11 |
filebench-1.4.9.1.tar.gz | 341.3 KiB | 2011-09-06 17:31:18 |
nghttp3-1.4.0.tar.xz | 379.9 KiB | 2024-06-13 09:27:36 |
firefox-128.5.0esr-ms.xpi | 440.6 KiB | 2024-11-25 13:47:34 |
bash-completion-2.15.0.tar.xz | 447.1 KiB | 2024-11-24 22:41:41 |
mod_gnutls-0.12.0.tar.bz2 | 450.8 KiB | 2021-08-14 12:06:42 |
firefox-128.5.1esr-ach.xpi | 454.6 KiB | 2024-11-29 12:47:13 |
litmus-0.13.tar.gz | 456.6 KiB | 2011-12-09 10:38:28 |
rngstreams-1.0.1.tar.gz | 490.7 KiB | 2009-01-08 12:57:01 |
git-delta-0.16.5.tar.gz | 494.9 KiB | 2023-06-04 05:52:37 |
giosharp.3.24.24.38.nupkg | 503.7 KiB | 2022-04-25 09:54:54 |
hanzibox.doc.r63062.tar.xz | 579.8 KiB | 2022-04-17 23:52:02 |
biblatex-fiwi.doc.r45876.tar.xz | 581.5 KiB | 2019-02-28 02:20:25 |
firefox-133.0.3-en-GB.xpi | 590.4 KiB | 2024-12-09 21:37:52 |
firefox-128.5.0esr-ar.xpi | 616.0 KiB | 2024-11-25 13:47:24 |
firefox-128.5.1esr-rm.xpi | 616.6 KiB | 2024-11-29 12:47:26 |
frakturx-20070103-twieyvig.zip | 647.1 KiB | 2009-01-12 15:10:03 |
firefox-133.0-sk.xpi | 659.2 KiB | 2024-11-25 13:47:36 |
fcft-3.1.6.tar.gz | 682.7 KiB | 2023-07-14 10:49:50 |
rocr-runtime-5.5.1.tar.gz | 797.0 KiB | 2023-09-03 06:52:19 |
rsync-bpc-3.1.3.0.tar.gz | 863.1 KiB | 2021-12-08 05:03:31 |
resource-agents-4.15.1.tar.gz | 870.7 KiB | 2024-10-23 16:53:02 |
harfbuzzsharp.nativeassets.macos.2.8.2-preview.178.nupkg | 948.3 KiB | 2021-12-15 17:58:12 |
6.7.3-0-202409200836qtpdf-documentation.tar.xz | 999.6 KiB | 2024-09-24 04:47:42 |
phppgadmin-7.14.5.tar.gz | 1.1 MiB | 2023-09-23 16:52:15 |
clustal-omega-1.2.4.tar.gz | 1.1 MiB | 2016-12-21 14:49:27 |
ucdavisthesis.doc.r40772.tar.xz | 1.2 MiB | 2019-02-28 03:10:33 |
xfsprogs-6.9.0.tar.xz | 1.3 MiB | 2024-07-22 09:15:04 |
prometheus-lvm-exporter-0.3.2-vendor.tar.xz | 1.3 MiB | 2022-12-26 23:04:15 |
eza-0.19.2.tar.gz | 1.3 MiB | 2024-09-09 12:55:37 |
system.drawing.common.8.0.10.nupkg | 1.5 MiB | 2024-10-08 14:23:56 |
6.7.2-0-202406110334qtwaylandcompositor-documentation.tar.xz | 1.5 MiB | 2024-06-18 05:24:14 |
hin.traineddata-tessdata_legacy-4.0.0 | 1.6 MiB | 2019-07-30 20:53:31 |
sc-im-0.8.3.tar.gz | 1.6 MiB | 2023-02-27 12:52:12 |
SDL_gfx-2.0.26.tar.gz | 1.7 MiB | 2017-02-21 05:29:01 |
golang.org%2Fx%2Fcrypto%2F@v%2Fv0.0.0-20200510223506-06a226fb4e37.zip | 1.8 MiB | 2020-05-11 02:07:40 |
erewhon-math.doc.r69480.tar.xz | 1.9 MiB | 2024-01-19 00:44:52 |
syr.traineddata-tessdata_legacy-4.0.0 | 2.1 MiB | 2019-07-30 20:55:01 |
xz-5.6.3.tar.gz | 2.2 MiB | 2024-10-01 17:13:58 |
buildbot-4.1.0.tar.gz | 2.5 MiB | 2024-10-14 01:49:48 |
dune-3.13.1.tar.gz | 2.8 MiB | 2024-07-02 07:52:23 |
winapi-i686-pc-windows-gnu-0.4.0.crate | 2.8 MiB | 2018-01-18 00:56:05 |
krusader-2.8.1.tar.xz | 3.0 MiB | 2024-03-10 07:05:00 |
sh-3.8.0-deps.tar.xz | 3.0 MiB | 2024-02-27 21:59:58 |
initials.r54080.tar.xz | 3.0 MiB | 2020-03-04 22:51:09 |
PDF-API2-2.044.tar.gz | 3.4 MiB | 2022-11-16 18:20:41 |
milkytracker-1.05.01.tar.gz | 3.6 MiB | 2024-11-30 16:52:50 |
fwupd-1.9.24.tar.xz | 4.1 MiB | 2024-08-21 17:58:05 |
libtorrent-rasterbar-2.0.10.tar.gz | 4.5 MiB | 2024-02-19 12:18:33 |
texlive-es.doc.r66059.tar.xz | 4.9 MiB | 2023-02-23 00:55:26 |
pst-electricfield.doc.r29803.tar.xz | 5.0 MiB | 2019-02-28 03:00:56 |
smlnj-110.99.6.1-boot.sparc-unix.tgz | 5.7 MiB | 2024-10-25 16:51:17 |
darktable-4.8.0.tar.xz | 6.0 MiB | 2024-06-16 21:33:53 |
protobuf-27.2.tar.gz | 6.0 MiB | 2024-06-30 12:52:26 |
grc.traineddata-tessdata_legacy-4.0.0 | 7.1 MiB | 2019-07-30 20:52:57 |
tat.traineddata-tessdata_best-4.1.0 | 7.2 MiB | 2021-02-18 13:55:43 |
fin.traineddata-tessdata_fast-4.0.0 | 7.5 MiB | 2019-07-30 20:52:52 |
mage-1.15.0.tar.gz | 8.4 MiB | 2023-05-31 20:52:43 |
asterisk-extra-sounds-en-siren7-1.5.2.tar.gz | 9.7 MiB | 2018-01-26 19:53:47 |
wrk-4.2.0.tar.gz | 10.5 MiB | 2021-12-16 22:52:15 |
cmu_indic_mar_slp.flitevox | 12.8 MiB | 2017-11-09 07:38:48 |
6.7.3-0-202409200836qtdoc-documentation.tar.xz | 13.3 MiB | 2024-09-24 04:47:45 |
fira.r64422.tar.xz | 14.8 MiB | 2022-09-17 23:53:50 |
asterisk-core-sounds-it-wav-1.6.1.tar.gz | 18.8 MiB | 2018-01-26 19:53:48 |
puppet-agent_8.10.0-1focal_arm64.deb | 34.2 MiB | 2024-10-22 21:17:51 |
kubeletctl-1.6-deps.tar.xz | 34.8 MiB | 2022-05-16 03:08:48 |
kodi-21.1-Omega.tar.gz | 39.2 MiB | 2024-08-25 16:53:01 |
samba-4.19.9.tar.gz | 39.9 MiB | 2024-10-17 12:03:18 |
digiKam-8.4.0.tar.xz | 55.3 MiB | 2024-07-12 20:26:04 |
NVIDIA-Linux-x86_64-390.157.run | 81.9 MiB | 2022-11-09 23:56:49 |
uhd-images_4.4.0.0.tar.xz | 121.6 MiB | 2023-01-30 18:20:22 |
raspberrypi-firmware-1.20240902.tar.gz | 147.3 MiB | 2024-09-03 17:53:20 |
src-cli-5.1.2-deps.tar.xz | 181.9 MiB | 2023-11-02 16:06:35 |
acl2-8.5.tar.gz | 212.4 MiB | 2023-01-08 00:53:28 |