Welcome to mirrors.dotsrc.org

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.

Index of /pub/mirrors/trisquel/pool/main/a/aac-tactics/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
libcoq-aac-tactics_8.18.0-1build3_riscv64.deb	417.7 KiB	2024-04-08 07:57:55
libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb	418.0 KiB	2024-04-08 07:57:54
libcoq-aac-tactics_8.18.0-1build3_armhf.deb	411.4 KiB	2024-04-08 07:57:50
libcoq-aac-tactics_8.18.0-1build3_arm64.deb	428.8 KiB	2024-04-08 07:57:49
libcoq-aac-tactics_8.18.0-1build3_amd64.deb	411.8 KiB	2024-04-08 07:57:47
aac-tactics_8.18.0-1build3.dsc	2.1 KiB	2024-04-08 07:57:42
aac-tactics_8.18.0-1build3.debian.tar.xz	3.8 KiB	2024-04-08 07:57:42
libcoq-aac-tactics_8.18.0-1_riscv64.deb	536.1 KiB	2024-03-29 22:35:33
libcoq-aac-tactics_8.18.0-1_ppc64el.deb	532.2 KiB	2023-12-23 00:12:24
libcoq-aac-tactics_8.18.0-1_armhf.deb	523.4 KiB	2023-12-23 00:12:21
libcoq-aac-tactics_8.18.0-1_arm64.deb	549.8 KiB	2023-12-23 00:12:17
libcoq-aac-tactics_8.18.0-1_amd64.deb	526.2 KiB	2023-12-23 00:12:14
aac-tactics_8.18.0-1.debian.tar.xz	3.6 KiB	2023-12-21 23:52:05
aac-tactics_8.18.0.orig.tar.gz	73.8 KiB	2023-12-21 23:52:05
aac-tactics_8.18.0-1.dsc	2.1 KiB	2023-12-21 23:52:04
libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb	39.8 KiB	2022-02-06 19:05:12
libaac-tactics-ocaml_8.15.0-1_armhf.deb	128.2 KiB	2022-02-06 19:05:11
libaac-tactics-ocaml_8.15.0-1_ppc64el.deb	134.3 KiB	2022-02-06 19:05:11
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb	39.8 KiB	2022-02-06 19:05:10
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb	39.8 KiB	2022-02-06 19:05:10
libaac-tactics-ocaml_8.15.0-1_arm64.deb	146.6 KiB	2022-02-06 19:05:10
libaac-tactics-coq_8.15.0-1_all.deb	282.3 KiB	2022-02-06 19:04:57
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb	39.8 KiB	2022-02-06 19:04:56
libaac-tactics-ocaml_8.15.0-1_amd64.deb	127.7 KiB	2022-02-06 19:04:56
aac-tactics_8.15.0.orig.tar.gz	66.5 KiB	2022-02-06 17:19:13
aac-tactics_8.15.0-1.debian.tar.xz	3.5 KiB	2022-02-06 17:19:13
aac-tactics_8.15.0-1.dsc	2.2 KiB	2022-02-06 17:19:13
libaac-tactics-ocaml_8.11.0-1_amd64.deb	104.4 KiB	2020-03-18 19:48:46
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb	37.7 KiB	2020-03-18 19:48:46
libaac-tactics-coq_8.11.0-1_all.deb	237.8 KiB	2020-03-18 19:48:46
aac-tactics_8.11.0-1.dsc	2.1 KiB	2020-03-18 18:28:16
aac-tactics_8.11.0-1.debian.tar.xz	3.4 KiB	2020-03-18 18:28:16
aac-tactics_8.11.0.orig.tar.gz	63.8 KiB	2020-03-18 18:28:16
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb	36.8 KiB	2017-11-01 13:05:29
libaac-tactics-ocaml_8.6.1-2_i386.deb	108.2 KiB	2017-11-01 13:05:28
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb	36.8 KiB	2017-11-01 13:05:26
libaac-tactics-ocaml_8.6.1-2_amd64.deb	117.5 KiB	2017-11-01 13:05:26
libaac-tactics-coq_8.6.1-2_all.deb	215.6 KiB	2017-11-01 13:05:26
aac-tactics_8.6.1-2.dsc	2.2 KiB	2017-11-01 13:05:16
aac-tactics_8.6.1-2.debian.tar.xz	3.2 KiB	2017-11-01 13:05:16
aac-tactics_8.6.1.orig.tar.gz	73.3 KiB	2016-12-30 17:13:27
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb	43.0 KiB	2015-11-05 00:34:15
libaac-tactics-ocaml_0.4-5build2_i386.deb	109.3 KiB	2015-11-05 00:34:14
libaac-tactics-coq_0.4-5build2_all.deb	207.7 KiB	2015-11-05 00:33:49
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb	43.0 KiB	2015-11-05 00:33:49
libaac-tactics-ocaml_0.4-5build2_amd64.deb	117.2 KiB	2015-11-05 00:33:46
aac-tactics_0.4-5build2.debian.tar.xz	3.0 KiB	2015-11-05 00:30:28
aac-tactics_0.4-5build2.dsc	1.9 KiB	2015-11-05 00:30:28
aac-tactics_0.4.orig.tar.gz	75.5 KiB	2013-12-06 17:23:26