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 /mirrors/mirrors/ubuntu-ports/pool/universe/a/aac-tactics/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
aac-tactics_0.4-2.debian.tar.xz	2.8 KiB	2014-01-20 11:09:02
aac-tactics_0.4-2.dsc	2.1 KiB	2014-01-20 11:09:02
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
aac-tactics_8.11.0-1.debian.tar.xz	3.4 KiB	2020-03-18 18:28:16
aac-tactics_8.11.0-1.dsc	2.1 KiB	2020-03-18 18:28:16
aac-tactics_8.11.0.orig.tar.gz	63.8 KiB	2020-03-18 18:28:16
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
aac-tactics_8.15.0.orig.tar.gz	66.5 KiB	2022-02-06 17:19:13
aac-tactics_8.17.0-1build2.debian.tar.xz	3.5 KiB	2023-02-16 10:06:43
aac-tactics_8.17.0-1build2.dsc	2.1 KiB	2023-02-16 10:06:43
aac-tactics_8.17.0-2build1.debian.tar.xz	3.6 KiB	2023-07-24 17:37:46
aac-tactics_8.17.0-2build1.dsc	2.1 KiB	2023-07-24 17:37:46
aac-tactics_8.17.0.orig.tar.gz	73.9 KiB	2023-01-04 23:34:26
aac-tactics_8.18.0-1build3.debian.tar.xz	3.8 KiB	2024-04-08 07:57:42
aac-tactics_8.18.0-1build3.dsc	2.1 KiB	2024-04-08 07:57:42
aac-tactics_8.18.0.orig.tar.gz	73.8 KiB	2023-12-21 23:52:05
aac-tactics_8.19.1-1build1.debian.tar.xz	3.7 KiB	2024-06-15 14:43:48
aac-tactics_8.19.1-1build1.dsc	2.1 KiB	2024-06-15 14:43:48
aac-tactics_8.19.1.orig.tar.gz	75.2 KiB	2024-06-11 17:54:04
aac-tactics_8.6.1-2.debian.tar.xz	3.2 KiB	2017-11-01 13:05:16
aac-tactics_8.6.1-2.dsc	2.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-coq_0.4-2_all.deb	207.5 KiB	2014-01-20 11:33:29
libaac-tactics-coq_0.4-5build2_all.deb	207.7 KiB	2015-11-05 00:33:49
libaac-tactics-coq_8.11.0-1_all.deb	237.8 KiB	2020-03-18 19:48:46
libaac-tactics-coq_8.15.0-1_all.deb	282.3 KiB	2022-02-06 19:04:57
libaac-tactics-coq_8.6.1-2_all.deb	215.6 KiB	2017-11-01 13:05:26
libaac-tactics-ocaml-dev_0.4-2_arm64.deb	43.1 KiB	2014-01-20 11:33:45
libaac-tactics-ocaml-dev_0.4-2_armhf.deb	43.2 KiB	2014-01-20 11:33:47
libaac-tactics-ocaml-dev_0.4-2_powerpc.deb	42.5 KiB	2014-01-20 11:33:59
libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb	43.2 KiB	2014-02-17 22:44:03
libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb	42.8 KiB	2015-11-05 00:34:06
libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb	42.7 KiB	2015-11-05 00:34:09
libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb	43.1 KiB	2015-11-05 00:34:28
libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb	42.9 KiB	2015-11-05 03:49:03
libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb	42.8 KiB	2016-01-05 17:05:04
libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb	37.7 KiB	2020-03-18 19:48:47
libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb	37.7 KiB	2020-03-18 19:48:47
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb	39.8 KiB	2022-02-06 19:05:10
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_ppc64el.deb	39.8 KiB	2022-02-06 19:05:12
libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb	39.8 KiB	2022-02-06 19:05:15
libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb	39.8 KiB	2022-02-06 19:05:26
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb	36.8 KiB	2017-11-01 13:05:28
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb	36.8 KiB	2017-11-01 14:20:50
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb	36.8 KiB	2017-11-01 13:05:36
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb	36.8 KiB	2017-11-01 13:05:49
libaac-tactics-ocaml_0.4-2_arm64.deb	26.6 KiB	2014-01-20 11:33:45
libaac-tactics-ocaml_0.4-2_armhf.deb	121.4 KiB	2014-01-20 11:33:47
libaac-tactics-ocaml_0.4-2_powerpc.deb	111.4 KiB	2014-01-20 11:33:59
libaac-tactics-ocaml_0.4-2_ppc64el.deb	26.7 KiB	2014-02-17 22:44:03
libaac-tactics-ocaml_0.4-5build2_arm64.deb	110.8 KiB	2015-11-05 00:34:06
libaac-tactics-ocaml_0.4-5build2_armhf.deb	115.5 KiB	2015-11-05 00:34:08
libaac-tactics-ocaml_0.4-5build2_powerpc.deb	105.9 KiB	2015-11-05 00:34:28
libaac-tactics-ocaml_0.4-5build2_ppc64el.deb	27.7 KiB	2015-11-05 03:49:04
libaac-tactics-ocaml_0.4-5build2_s390x.deb	27.6 KiB	2016-01-05 17:05:05
libaac-tactics-ocaml_8.11.0-1_arm64.deb	117.9 KiB	2020-03-18 19:48:46
libaac-tactics-ocaml_8.11.0-1_ppc64el.deb	110.7 KiB	2020-03-18 19:48:47
libaac-tactics-ocaml_8.15.0-1_arm64.deb	146.6 KiB	2022-02-06 19:05:10
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_8.15.0-1_riscv64.deb	129.4 KiB	2022-02-06 19:05:15
libaac-tactics-ocaml_8.15.0-1_s390x.deb	132.3 KiB	2022-02-06 19:05:27
libaac-tactics-ocaml_8.6.1-2_arm64.deb	133.4 KiB	2017-11-01 13:05:28
libaac-tactics-ocaml_8.6.1-2_armhf.deb	114.4 KiB	2017-11-01 14:20:50
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb	124.5 KiB	2017-11-01 13:05:36
libaac-tactics-ocaml_8.6.1-2_s390x.deb	120.2 KiB	2017-11-01 13:05:49
libcoq-aac-tactics_8.17.0-1build2_arm64.deb	432.8 KiB	2023-02-16 12:57:54
libcoq-aac-tactics_8.17.0-1build2_armhf.deb	415.9 KiB	2023-02-16 12:58:06
libcoq-aac-tactics_8.17.0-1build2_ppc64el.deb	422.3 KiB	2023-02-16 12:58:28
libcoq-aac-tactics_8.17.0-1build2_riscv64.deb	416.1 KiB	2023-02-16 16:34:40
libcoq-aac-tactics_8.17.0-1build2_s390x.deb	421.8 KiB	2023-02-16 12:58:45
libcoq-aac-tactics_8.17.0-2build1_arm64.deb	431.7 KiB	2023-07-24 20:24:27
libcoq-aac-tactics_8.17.0-2build1_armhf.deb	415.1 KiB	2023-07-24 20:24:28
libcoq-aac-tactics_8.17.0-2build1_ppc64el.deb	421.0 KiB	2023-07-24 20:24:31
libcoq-aac-tactics_8.17.0-2build1_riscv64.deb	415.6 KiB	2023-07-25 02:18:59
libcoq-aac-tactics_8.17.0-2build1_s390x.deb	421.1 KiB	2023-07-24 20:24:32
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_armhf.deb	411.4 KiB	2024-04-08 07:57:50
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_riscv64.deb	417.7 KiB	2024-04-08 07:57:55
libcoq-aac-tactics_8.18.0-1build3_s390x.deb	417.1 KiB	2024-04-08 07:57:58
libcoq-aac-tactics_8.19.1-1build1_arm64.deb	442.2 KiB	2024-06-15 15:23:14
libcoq-aac-tactics_8.19.1-1build1_armhf.deb	426.2 KiB	2024-06-15 14:43:50
libcoq-aac-tactics_8.19.1-1build1_ppc64el.deb	432.3 KiB	2024-06-15 15:23:17
libcoq-aac-tactics_8.19.1-1build1_riscv64.deb	431.2 KiB	2024-06-15 15:23:17
libcoq-aac-tactics_8.19.1-1build1_s390x.deb	429.9 KiB	2024-06-15 15:23:19