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/ | - | - |
| julia-bin-9999 | 280 B | 2022-08-23 10:40:37 |
| cll1h-0.6-r1 | 332 B | 2021-01-06 19:39:26 |
| esco-0.513 | 351 B | 2023-09-21 16:40:48 |
| inform-6.33.1_p2 | 359 B | 2021-11-02 08:40:01 |
| jimtcl-0.81 | 389 B | 2024-03-16 13:10:18 |
| typescript-5.4.3 | 428 B | 2024-04-23 01:41:07 |
| typescript-5.4.2 | 428 B | 2024-04-11 05:41:53 |
| typescript-5.3.3 | 428 B | 2024-01-08 21:41:02 |
| typescript-5.4.4 | 429 B | 2024-04-04 19:10:52 |
| srf-1.0-r2 | 429 B | 2024-01-08 12:14:09 |
| jimtcl-0.78-r2 | 429 B | 2024-03-16 13:10:18 |
| typescript-5.4.5 | 429 B | 2024-04-11 02:12:56 |
| logtalk-3.36.0 | 430 B | 2023-03-26 12:22:19 |
| rapydscript-ng-9999 | 431 B | 2024-04-01 10:14:14 |
| arc-3.2 | 438 B | 2022-09-16 22:12:42 |
| coffee-script-2.7.0 | 440 B | 2024-03-13 12:10:44 |
| jwasm-2.13 | 444 B | 2023-12-26 14:20:23 |
| duktape-2.7.0-r3 | 445 B | 2023-12-26 14:20:23 |
| nprolog-1.94 | 458 B | 2023-12-26 14:20:23 |
| cfortran-4.4-r4 | 459 B | 2022-06-03 12:40:21 |
| f2c-20240312 | 465 B | 2024-03-19 03:40:40 |
| bff-1.0.7 | 472 B | 2023-12-26 14:20:23 |
| clips-6.40 | 477 B | 2023-12-26 14:20:23 |
| mono-basic-4.8 | 486 B | 2023-03-17 22:18:48 |
| dafny-bin-4.4.0-r1 | 488 B | 2024-03-29 03:41:06 |
| dafny-bin-4.6.0 | 489 B | 2024-03-29 03:41:06 |
| dafny-bin-4.5.0-r1 | 489 B | 2024-03-29 03:41:06 |
| uasm-2.56.2 | 501 B | 2024-04-05 14:40:46 |
| eisl-3.70 | 515 B | 2024-03-04 03:10:47 |
| eisl-9999 | 516 B | 2024-04-01 10:14:14 |
| eisl-3.72 | 516 B | 2024-04-04 19:10:52 |
| elixir-1.13.4-r1 | 517 B | 2023-09-09 07:10:16 |
| elixir-1.15.7 | 517 B | 2024-04-18 06:10:45 |
| elixir-1.14.3-r1 | 517 B | 2023-09-09 07:10:16 |
| elixir-1.16.2 | 520 B | 2024-04-14 19:40:40 |
| elixir-1.14.5-r2 | 520 B | 2024-03-29 08:11:11 |
| f2c-20240130 | 524 B | 2024-03-29 19:16:11 |
| elixir-1.14.5-r1 | 524 B | 2024-03-29 08:11:11 |
| elixir-1.15.6 | 524 B | 2024-02-24 13:41:01 |
| nelua-99999999 | 530 B | 2024-04-01 10:14:14 |
| logtalk-3.47.0-r1 | 534 B | 2024-04-13 07:41:15 |
| scala-bin-2.13.9 | 535 B | 2024-01-20 10:41:11 |
| mmix-20160804-r1 | 536 B | 2023-12-26 14:20:23 |
| micropython-1.17 | 547 B | 2024-01-20 14:12:34 |
| janet-1.32.1 | 548 B | 2024-03-29 19:16:11 |
| moarvm-2024.02 | 549 B | 2024-03-16 13:48:40 |
| moarvm-2023.12 | 549 B | 2024-01-06 06:45:43 |
| nelua-20240113 | 558 B | 2024-01-23 22:40:38 |
| rapydscript-ng-0.7.22 | 564 B | 2024-02-28 15:41:03 |
| jimtcl-0.82 | 567 B | 2024-03-16 13:10:18 |
| f2c-20100827-r1 | 580 B | 2024-03-29 19:16:11 |
| tcc-9999 | 580 B | 2024-04-01 10:14:14 |
| snobol-1.4.1-r1 | 580 B | 2024-03-29 19:16:11 |
| execline-2.9.4.0 | 587 B | 2024-01-17 03:10:48 |
| execline-2.9.5.1 | 590 B | 2024-04-17 08:10:40 |
| lfe-2.0 | 592 B | 2024-04-04 18:11:16 |
| lfe-2.0.1 | 596 B | 2024-04-04 18:11:16 |
| teyjus-2.1-r2 | 603 B | 2024-04-04 18:11:16 |
| gforth-0.7.3-r2 | 609 B | 2024-04-04 18:11:16 |
| inform-6.35_p4 | 612 B | 2023-12-26 14:20:23 |
| dzaima-bqn-9999 | 631 B | 2024-04-01 10:14:14 |
| dzaima-bqn-0.2.1 | 632 B | 2024-01-20 10:41:11 |
| moarvm-9999 | 633 B | 2024-04-01 10:14:14 |
| closure-compiler-bin-20240317 | 635 B | 2024-03-20 20:00:00 |
| luajit-2.1.0_beta3_p20220127-r2 | 635 B | 2023-12-26 14:20:23 |
| yasm-1.3.0-r1 | 643 B | 2023-12-26 14:20:23 |
| go-9999 | 652 B | 2024-04-01 10:14:14 |
| tcc-0.9.27_p20211022 | 655 B | 2024-03-29 19:16:11 |
| tcc-0.9.27_p20230223 | 656 B | 2024-03-29 19:16:11 |
| luajit-2.1.0_beta3_p20220613 | 656 B | 2023-12-26 14:20:23 |
| mujs-1.3.4 | 657 B | 2024-03-29 19:16:11 |
| mujs-1.3.3 | 657 B | 2024-03-29 19:16:11 |
| lisaac-0.13.1-r2 | 682 B | 2024-04-04 18:11:16 |
| lfe-2.1.2 | 687 B | 2024-04-04 18:11:16 |
| julia-bin-1.6.7 | 693 B | 2022-12-13 06:40:31 |
| julia-bin-1.7.3 | 700 B | 2022-08-23 10:40:37 |
| julia-bin-1.8.5 | 700 B | 2023-11-21 16:40:30 |
| julia-bin-1.9.4 | 700 B | 2023-11-14 21:40:21 |
| julia-bin-1.8.3 | 700 B | 2022-12-13 06:40:31 |
| lazarus-2.0.12 | 701 B | 2023-02-23 14:10:43 |
| icon-9.5.20i | 701 B | 2024-03-29 19:16:11 |
| lazarus-2.2.0 | 703 B | 2023-02-23 14:10:43 |
| icon-9.5.21b | 707 B | 2024-03-29 19:16:11 |
| julia-bin-1.10.0 | 709 B | 2024-01-10 14:39:40 |
| ats2-0.4.2 | 716 B | 2024-04-04 18:11:16 |
| algol68g-3.5.1 | 718 B | 2024-03-31 07:41:13 |
| icon-9.5.22e | 719 B | 2024-03-29 19:16:11 |
| kotlin-bin-1.9.23 | 721 B | 2024-03-11 11:41:50 |
| fuzion-0.086 | 723 B | 2024-02-15 14:11:06 |
| cue-0.7.0 | 724 B | 2024-03-29 19:16:11 |
| go-1.21.9 | 734 B | 2024-04-22 18:11:13 |
| go-1.21.7 | 734 B | 2024-03-15 21:11:17 |
| go-1.22.1 | 734 B | 2024-04-12 06:41:15 |
| go-1.21.8 | 734 B | 2024-04-12 06:41:15 |
| go-1.21.5 | 734 B | 2024-01-06 19:40:46 |
| go-1.22.2 | 734 B | 2024-04-22 18:11:13 |
| go-1.21.6 | 736 B | 2024-01-31 22:10:55 |
| abs-2.6.0 | 746 B | 2024-03-29 19:16:11 |
| ammonite-repl-bin-2.5.9 | 756 B | 2023-07-29 14:10:34 |
| luau-0.613 | 759 B | 2024-03-29 19:16:11 |
| luau-0.618 | 760 B | 2024-03-30 23:41:11 |
| whitespace-0.4 | 769 B | 2023-12-26 14:20:23 |
| ammonite-repl-bin-2.5.11 | 775 B | 2024-02-16 00:11:07 |
| pico8-0.2.5g | 779 B | 2023-03-26 12:22:19 |
| swig-4.2.0 | 808 B | 2024-01-02 08:10:38 |
| ocaml-4.13.1 | 808 B | 2024-03-29 19:16:11 |
| ocaml-4.12.1 | 808 B | 2024-03-29 19:16:11 |
| swig-4.2.1 | 808 B | 2024-02-27 22:41:00 |
| ocaml-4.14.0-r1 | 817 B | 2024-03-29 19:16:11 |
| ocaml-4.14.1 | 819 B | 2024-03-29 19:16:11 |
| rakudo-2023.12 | 821 B | 2024-01-20 10:41:11 |
| rakudo-2024.02 | 821 B | 2024-03-16 13:48:40 |
| pcc-1.1.0-r1 | 828 B | 2024-03-29 19:16:11 |
| gnuprologjava-0.2.6-r1 | 835 B | 2024-04-11 08:11:05 |
| sassc-3.6.2 | 848 B | 2024-03-24 09:42:09 |
| idris2-0.6.0 | 852 B | 2023-12-26 14:20:23 |
| mozart-stdlib-2.0.1 | 855 B | 2024-03-29 19:16:11 |
| lazarus-2.2.4-r1 | 855 B | 2023-02-23 14:10:43 |
| zig-bin-0.10.1-r3 | 860 B | 2023-07-09 02:10:53 |
| oorexx-5.0.0 | 867 B | 2024-03-29 19:16:11 |
| squirrel-3.2 | 874 B | 2024-03-29 19:16:11 |
| python-exec-conf-2.4.6 | 881 B | 2024-04-01 10:14:14 |
| ocaml-4.11.2-r2 | 885 B | 2024-03-29 19:16:11 |
| bas-2.4 | 894 B | 2024-03-24 09:42:09 |
| interprolog-2.1.2 | 899 B | 2024-04-11 08:11:05 |
| mlton-20180207 | 900 B | 2023-11-23 15:12:45 |
| haxe-4.3.3 | 915 B | 2023-11-18 21:10:32 |
| haxe-4.3.4 | 915 B | 2024-03-22 21:40:45 |
| gprolog-1.5.0-r1 | 920 B | 2024-04-14 16:10:49 |
| idris2-0.7.0 | 925 B | 2023-12-27 01:40:49 |
| lua-5.1.5-r200 | 930 B | 2024-03-29 19:16:11 |
| gleam-1.1.0 | 938 B | 2024-04-18 08:10:51 |
| polyml-5.9-r2 | 945 B | 2024-03-24 09:42:09 |
| nasm-2.16.01-r1 | 955 B | 2024-03-24 09:42:09 |
| ocaml-4.09.0-r3 | 956 B | 2024-03-29 19:16:11 |
| gprolog-1.4.5 | 959 B | 2024-03-29 19:16:11 |
| nasm-2.16.02 | 959 B | 2024-04-07 12:13:37 |
| ocaml-4.10.2-r3 | 961 B | 2024-03-29 19:16:11 |
| elpi-1.17.4 | 968 B | 2023-12-27 01:40:49 |
| elpi-1.17.0 | 968 B | 2023-10-09 11:16:27 |
| nasm-2.16.03 | 973 B | 2024-04-21 10:41:04 |
| fpc-3.2.2 | 974 B | 2023-12-26 14:20:23 |
| clipsjni-6.40-r1 | 986 B | 2024-01-20 10:41:11 |
| polyml-5.9.1 | 986 B | 2024-03-24 09:42:09 |
| lua-5.3.6-r102 | 989 B | 2024-03-29 19:16:11 |
| lua-5.4.6 | 989 B | 2024-03-29 19:16:11 |
| nim-2.0.4 | 1023 B | 2024-04-19 13:11:04 |
| zig-bin-0.11.0-r1 | 1.0 KiB | 2023-10-27 03:10:33 |
| nim-1.6.14-r1 | 1.0 KiB | 2024-04-19 13:11:04 |
| gnucobol-3.2 | 1.0 KiB | 2024-03-24 09:42:09 |
| gnucobol-3.1.2 | 1.0 KiB | 2024-03-24 09:42:09 |
| fennel-1.4.0-r2 | 1.0 KiB | 2024-04-13 23:10:35 |
| fennel-1.4.2-r1 | 1.0 KiB | 2024-04-13 23:10:35 |
| qore-1.19.2 | 1.0 KiB | 2024-03-24 09:42:09 |
| c-intercal-31.0 | 1.1 KiB | 2024-04-04 18:11:16 |
| nqp-9999 | 1.1 KiB | 2024-04-01 10:14:14 |
| cfortran-20110621 | 1.1 KiB | 2024-03-29 19:16:11 |
| nqp-2024.02 | 1.1 KiB | 2024-03-16 13:48:40 |
| nqp-2023.12 | 1.1 KiB | 2024-03-16 13:48:40 |
| swig-4.1.1-r1 | 1.1 KiB | 2024-03-24 09:42:09 |
| spark-2021 | 1.1 KiB | 2024-03-13 19:40:48 |
| tuprolog-3.2.0-r2 | 1.1 KiB | 2024-04-11 08:11:05 |
| cfortran-20210827 | 1.1 KiB | 2024-03-29 19:16:11 |
| scala-2.12.10 | 1.2 KiB | 2024-01-20 10:41:11 |
| maude-3.1-r1 | 1.2 KiB | 2024-03-24 09:42:09 |
| neko-2.3.0-r2 | 1.2 KiB | 2024-03-29 19:16:11 |
| python-exec-2.4.10 | 1.2 KiB | 2024-04-14 15:10:38 |
| zig-0.11.0-r1 | 1.3 KiB | 2024-03-29 19:16:11 |
| cxprolog-0.98.2-r1 | 1.3 KiB | 2024-04-18 17:10:58 |
| cxprolog-0.98.2 | 1.3 KiB | 2024-04-11 08:11:05 |
| vala-0.56.16 | 1.3 KiB | 2024-04-11 12:13:14 |
| vala-0.56.14 | 1.3 KiB | 2024-03-24 09:42:09 |
| vala-0.56.15 | 1.3 KiB | 2024-03-24 09:42:09 |
| vala-0.56.17 | 1.3 KiB | 2024-04-20 15:11:09 |
| orc-0.4.38 | 1.3 KiB | 2024-04-22 08:41:10 |
| orc-0.4.34 | 1.3 KiB | 2024-04-19 23:41:20 |
| orc-0.4.33 | 1.4 KiB | 2024-04-19 23:41:20 |
| mercury-extras-22.01 | 1.4 KiB | 2023-12-26 14:20:23 |
| mercury-extras-22.01.1 | 1.4 KiB | 2023-12-26 14:20:23 |
| crystal-1.11.2 | 1.4 KiB | 2024-03-08 15:11:07 |
| crystal-1.12.1 | 1.4 KiB | 2024-04-13 23:10:35 |
| jerryscript-2.4.0-r4 | 1.4 KiB | 2024-04-01 10:14:14 |
| mercury-extras-20.06 | 1.4 KiB | 2023-12-26 14:20:23 |
| mercury-extras-20.06.1 | 1.4 KiB | 2023-12-26 14:20:23 |
| zig-9999 | 1.4 KiB | 2024-04-01 10:14:14 |
| parrot-8.1.0-r4 | 1.4 KiB | 2021-07-14 04:39:43 |
| ispc-1.23.0 | 1.4 KiB | 2024-04-01 10:14:14 |
| qu-prolog-10.6 | 1.5 KiB | 2024-04-01 10:14:14 |
| mozart-2.0.1 | 1.5 KiB | 2024-04-11 08:11:05 |
| xsb-3.8.0 | 1.5 KiB | 2024-03-24 09:42:09 |
| qu-prolog-10.7 | 1.5 KiB | 2024-04-01 10:14:14 |
| clojure-1.11.1-r1 | 1.5 KiB | 2024-04-11 08:11:05 |
| xsb-4.0.0 | 1.6 KiB | 2024-03-24 09:42:09 |
| tcl-8.6.12-r1 | 1.6 KiB | 2024-03-29 19:16:11 |
| tcl-8.6.11 | 1.6 KiB | 2024-03-29 19:16:11 |
| tcl-8.6.13-r1 | 1.6 KiB | 2024-03-29 19:16:11 |
| tcl-8.6.14 | 1.6 KiB | 2024-03-29 19:16:11 |
| clojure-1.11.2-r1 | 1.6 KiB | 2024-04-11 08:11:05 |
| mercury-22.01 | 1.7 KiB | 2024-04-04 18:11:16 |
| perl-5.38.2-r2 | 1.7 KiB | 2024-03-29 19:16:11 |
| mercury-22.01.1 | 1.8 KiB | 2024-04-04 18:11:16 |
| mercury-20.06-r1 | 1.8 KiB | 2024-04-04 18:11:16 |
| mercury-20.06.1 | 1.8 KiB | 2024-04-04 18:11:16 |
| go-bootstrap-1.20.14 | 1.8 KiB | 2024-03-07 10:13:56 |
| julia-1.9.0 | 2.0 KiB | 2024-04-01 10:14:14 |
| julia-1.9.4 | 2.1 KiB | 2024-04-01 10:14:14 |
| erlang-25.3 | 2.3 KiB | 2024-04-04 18:11:16 |
| erlang-26.0 | 2.3 KiB | 2024-04-04 18:11:16 |
| erlang-26.1.2 | 2.3 KiB | 2024-04-04 18:11:16 |
| erlang-26.2 | 2.3 KiB | 2024-04-04 18:11:16 |
| erlang-26.2.1 | 2.3 KiB | 2024-04-04 18:11:16 |
| erlang-26.2.4 | 2.3 KiB | 2024-04-15 18:10:47 |
| erlang-26.2.2 | 2.3 KiB | 2024-04-04 18:11:16 |
| spidermonkey-115.3.1 | 2.3 KiB | 2024-04-01 10:14:14 |
| spidermonkey-115.9.1 | 2.3 KiB | 2024-04-02 06:10:35 |
| yap-7.0.1 | 2.4 KiB | 2024-04-01 10:14:14 |
| yap-7.1.0 | 2.4 KiB | 2024-04-01 10:14:14 |
| mono-6.12.0.199-r2 | 2.4 KiB | 2024-03-29 19:16:11 |
| souffle-2.4.1 | 2.4 KiB | 2024-04-01 10:14:14 |
| python-2.7.18_p16-r2 | 2.4 KiB | 2024-03-29 19:16:11 |
| spidermonkey-115.10.0 | 2.5 KiB | 2024-04-16 07:40:50 |
| spidermonkey-102.15.0 | 2.6 KiB | 2024-04-01 10:14:14 |
| ruby-3.1.4-r3 | 2.7 KiB | 2024-03-29 19:16:11 |
| swi-prolog-9.1.2-r1 | 2.7 KiB | 2024-03-29 19:16:11 |
| ruby-3.1.4-r5 | 2.7 KiB | 2024-03-29 19:16:11 |
| julia-1.8.3-r4 | 2.7 KiB | 2024-03-29 19:16:11 |
| R-4.3.1-r1 | 2.7 KiB | 2024-03-29 19:16:11 |
| R-4.3.2-r1 | 2.7 KiB | 2024-03-29 19:16:11 |
| smlnj-110.99.3 | 2.8 KiB | 2023-12-26 14:20:23 |
| smlnj-110.99.4 | 2.8 KiB | 2023-12-26 14:20:23 |
| python-3.8.19 | 2.8 KiB | 2024-04-06 07:10:59 |
| python-3.8.18_p2 | 2.8 KiB | 2024-04-01 10:14:14 |
| python-3.8.19_p1 | 2.8 KiB | 2024-04-11 05:41:53 |
| jsonnet-0.19.0-r1 | 2.8 KiB | 2024-04-19 19:11:59 |
| jsonnet-0.19.1 | 2.8 KiB | 2024-04-19 19:11:59 |
| python-3.9.19 | 2.9 KiB | 2024-04-06 07:10:59 |
| python-3.9.18_p2 | 2.9 KiB | 2024-04-01 10:14:14 |
| python-3.9.19_p2 | 2.9 KiB | 2024-04-11 05:41:53 |
| ruby-3.3.0-r2 | 3.0 KiB | 2024-03-29 19:16:11 |
| ruby-3.3.1 | 3.0 KiB | 2024-04-24 06:11:15 |
| ruby-3.2.4 | 3.0 KiB | 2024-04-24 06:11:15 |
| ruby-3.2.3 | 3.0 KiB | 2024-03-29 19:16:11 |
| python-3.10.13_p3 | 3.0 KiB | 2024-04-01 10:14:14 |
| python-3.10.14 | 3.0 KiB | 2024-04-06 07:10:59 |
| python-3.10.14_p1 | 3.0 KiB | 2024-04-11 05:41:53 |
| python-3.11.8_p1 | 3.0 KiB | 2024-04-01 10:14:14 |
| python-3.11.9 | 3.0 KiB | 2024-04-11 05:41:53 |
| python-3.12.3 | 3.1 KiB | 2024-04-11 05:41:53 |
| python-3.12.2_p1 | 3.1 KiB | 2024-04-01 10:14:14 |
| python-3.13.0_alpha5 | 3.2 KiB | 2024-04-01 10:14:14 |
| python-3.13.0_alpha6 | 3.2 KiB | 2024-04-10 06:11:05 |
| python-3.13.0_alpha4 | 3.2 KiB | 2024-04-01 10:14:14 |
| jsonnet-0.20.0-r1 | 3.2 KiB | 2024-04-23 23:11:10 |
| tk-8.6.12 | 3.3 KiB | 2024-03-24 09:42:09 |
| tk-8.6.11.1 | 3.3 KiB | 2024-03-24 09:42:09 |
| tk-8.6.13 | 3.4 KiB | 2024-03-24 09:42:09 |
| tk-8.6.14 | 3.4 KiB | 2024-03-24 09:42:09 |
| gdl-1.0.1-r2 | 3.4 KiB | 2024-04-01 10:14:14 |
| gnat-gpl-2021-r5 | 3.7 KiB | 2024-04-22 03:41:31 |
| gdl-1.0.4-r1 | 3.8 KiB | 2024-04-18 17:10:58 |
| gdl-1.0.4 | 3.8 KiB | 2024-04-01 10:14:14 |
| julia-1.8.5-r1 | 3.8 KiB | 2024-04-01 10:14:14 |
| scala-2.12.4 | 3.9 KiB | 2024-01-20 10:41:11 |
| ghc-9.0.2-r4 | 4.0 KiB | 2024-04-01 10:14:14 |
| rust-bin-1.77.1 | 4.1 KiB | 2024-04-04 01:41:05 |
| rust-bin-1.74.1 | 4.2 KiB | 2024-03-29 04:57:40 |
| rust-bin-1.75.0 | 4.2 KiB | 2024-04-10 18:10:56 |
| rust-bin-1.73.0 | 4.2 KiB | 2024-03-29 04:57:40 |
| rust-bin-1.76.0 | 4.2 KiB | 2024-04-04 01:41:05 |
| ghc-9.2.8 | 4.5 KiB | 2024-04-01 10:14:14 |
| rust-bin-1.71.1 | 5.1 KiB | 2024-03-29 04:57:40 |
| rust-bin-1.71.0 | 5.1 KiB | 2024-03-29 04:57:40 |
| php-8.3.6 | 5.6 KiB | 2024-04-13 16:40:31 |
| php-8.1.26-r1 | 5.8 KiB | 2024-03-29 19:16:11 |
| php-8.1.28 | 5.8 KiB | 2024-04-13 18:40:59 |
| php-8.2.15 | 5.9 KiB | 2024-04-12 06:41:15 |
| php-8.2.18 | 5.9 KiB | 2024-04-13 18:40:59 |
| mond-0.10.0 | 7.0 KiB | 2024-04-04 09:10:45 |
| rust-1.71.0 | 10.7 KiB | 2024-04-01 10:14:14 |
| rust-1.71.1 | 10.7 KiB | 2024-04-01 10:14:14 |
| rust-1.77.1 | 11.5 KiB | 2024-04-04 01:41:05 |
| rust-1.74.1 | 11.5 KiB | 2024-04-01 10:14:14 |
| rust-1.75.0-r1 | 11.5 KiB | 2024-04-10 18:10:56 |
| rust-1.76.0-r1 | 11.5 KiB | 2024-04-01 10:14:14 |
| rust-1.73.0 | 11.5 KiB | 2024-04-01 10:14:14 |
| starlark-rust-0.8.0 | 14.4 KiB | 2024-03-29 19:16:11 |
| boogie-3.1.3 | 22.9 KiB | 2024-04-17 23:40:48 |
| boogie-3.1.2 | 22.9 KiB | 2024-04-11 05:41:53 |
| boogie-3.1.4 | 22.9 KiB | 2024-04-13 23:10:35 |
| jint-3.0.0_beta2051 | 23.3 KiB | 2024-04-04 09:10:45 |
| dafny-4.6.0 | 41.6 KiB | 2024-04-01 10:14:14 |
| dafny-4.5.0 | 41.6 KiB | 2024-04-01 10:14:14 |
| dafny-4.4.0-r1 | 41.8 KiB | 2024-04-01 10:14:14 |
| Manifest.gz | 47.0 KiB | 2024-04-24 06:11:15 |