ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/a/aac-tactics/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_8.20.0-1_amd64.deb 421K21-Nov-2024 01:31
aac-tactics_8.20.0-1.dsc 210420-Nov-2024 22:47
aac-tactics_8.20.0-1.debian.tar.xz 380820-Nov-2024 22:47
aac-tactics_8.20.0.orig.tar.gz 76K20-Nov-2024 22:47
libcoq-aac-tactics_8.19.1-2build3_amd64.deb 430K07-Sep-2024 19:44
aac-tactics_8.19.1-2build3.debian.tar.xz 392007-Sep-2024 19:43
aac-tactics_8.19.1-2build3.dsc 210307-Sep-2024 19:43
aac-tactics_8.19.1.orig.tar.gz 75K11-Jun-2024 21:54
libcoq-aac-tactics_8.18.0-1build3_amd64.deb 412K08-Apr-2024 11:57
aac-tactics_8.18.0-1build3.debian.tar.xz 390408-Apr-2024 11:57
aac-tactics_8.18.0-1build3.dsc 218208-Apr-2024 11:57
aac-tactics_8.18.0.orig.tar.gz 74K22-Dec-2023 03:52
libaac-tactics-coq_8.15.0-1_all.deb 282K06-Feb-2022 23:04
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 40K06-Feb-2022 23:04
libaac-tactics-ocaml_8.15.0-1_amd64.deb 128K06-Feb-2022 23:04
aac-tactics_8.15.0-1.dsc 220906-Feb-2022 21:19
aac-tactics_8.15.0-1.debian.tar.xz 360006-Feb-2022 21:19
aac-tactics_8.15.0.orig.tar.gz 67K06-Feb-2022 21:19
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 38K18-Mar-2020 23:48
libaac-tactics-coq_8.11.0-1_all.deb 238K18-Mar-2020 23:48
libaac-tactics-ocaml_8.11.0-1_amd64.deb 104K18-Mar-2020 23:48
aac-tactics_8.11.0.orig.tar.gz 64K18-Mar-2020 22:28
aac-tactics_8.11.0-1.debian.tar.xz 352018-Mar-2020 22:28
aac-tactics_8.11.0-1.dsc 217818-Mar-2020 22:28
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 37K01-Nov-2017 17:05
libaac-tactics-ocaml_8.6.1-2_i386.deb 108K01-Nov-2017 17:05
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 37K01-Nov-2017 17:05
libaac-tactics-ocaml_8.6.1-2_amd64.deb 117K01-Nov-2017 17:05
libaac-tactics-coq_8.6.1-2_all.deb 216K01-Nov-2017 17:05
aac-tactics_8.6.1-2.debian.tar.xz 324801-Nov-2017 17:05
aac-tactics_8.6.1-2.dsc 223801-Nov-2017 17:05
aac-tactics_8.6.1.orig.tar.gz 73K30-Dec-2016 21:13
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 43K05-Nov-2015 04:34
libaac-tactics-ocaml_0.4-5build2_i386.deb 109K05-Nov-2015 04:34
libaac-tactics-coq_0.4-5build2_all.deb 208K05-Nov-2015 04:33
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 43K05-Nov-2015 04:33
libaac-tactics-ocaml_0.4-5build2_amd64.deb 117K05-Nov-2015 04:33
aac-tactics_0.4-5build2.debian.tar.xz 307605-Nov-2015 04:30
aac-tactics_0.4-5build2.dsc 191405-Nov-2015 04:30
libaac-tactics-ocaml_0.4-2_i386.deb 114K20-Jan-2014 15:33
libaac-tactics-ocaml-dev_0.4-2_i386.deb 43K20-Jan-2014 15:33
libaac-tactics-coq_0.4-2_all.deb 208K20-Jan-2014 15:33
libaac-tactics-ocaml_0.4-2_amd64.deb 125K20-Jan-2014 15:33
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 43K20-Jan-2014 15:33
aac-tactics_0.4-2.debian.tar.xz 288420-Jan-2014 15:09
aac-tactics_0.4-2.dsc 219120-Jan-2014 15:09
aac-tactics_0.4.orig.tar.gz 76K06-Dec-2013 21:23