Syxpi's Ubuntu Mirror

Contenu du répertoire

• aac-tactics_0.4-2.debian.tar.xz

  20/01/2014 11:09 2.82 KB
  Télécharger
• aac-tactics_0.4-2.dsc

  20/01/2014 11:09 2.14 KB
  Télécharger
• aac-tactics_0.4-5build2.debian.tar.xz

  05/11/2015 00:30 3 KB
  Télécharger
• aac-tactics_0.4-5build2.dsc

  05/11/2015 00:30 1.87 KB
  Télécharger
• aac-tactics_8.11.0-1.debian.tar.xz

  18/03/2020 18:28 3.44 KB
  Télécharger
• aac-tactics_8.11.0-1.dsc

  18/03/2020 18:28 2.13 KB
  Télécharger
• aac-tactics_8.15.0-1.debian.tar.xz

  06/02/2022 17:19 3.52 KB
  Télécharger
• aac-tactics_8.15.0-1.dsc

  06/02/2022 17:19 2.16 KB
  Télécharger
• aac-tactics_8.18.0-1build3.debian.tar.xz

  08/04/2024 07:57 3.81 KB
  Télécharger
• aac-tactics_8.18.0-1build3.dsc

  08/04/2024 07:57 2.13 KB
  Télécharger
• aac-tactics_8.20.0-1build3.debian.tar.xz

  18/02/2025 21:25 3.85 KB
  Télécharger
• aac-tactics_8.20.0-1build3.dsc

  18/02/2025 21:25 2.05 KB
  Télécharger
• aac-tactics_8.20.0-1build4.debian.tar.xz

  19/06/2025 17:20 3.88 KB
  Télécharger
• aac-tactics_8.20.0-1build4.dsc

  19/06/2025 17:20 2.05 KB
  Télécharger
• aac-tactics_8.6.1-2.debian.tar.xz

  01/11/2017 13:05 3.17 KB
  Télécharger
• aac-tactics_8.6.1-2.dsc

  01/11/2017 13:05 2.19 KB
  Télécharger
• libaac-tactics-coq_0.4-2_all.deb

  20/01/2014 11:33 207.55 KB
  Télécharger
• libaac-tactics-coq_0.4-5build2_all.deb

  05/11/2015 00:33 207.73 KB
  Télécharger
• libaac-tactics-coq_8.11.0-1_all.deb

  18/03/2020 19:48 237.75 KB
  Télécharger
• libaac-tactics-coq_8.15.0-1_all.deb

  06/02/2022 19:04 282.32 KB
  Télécharger
• libaac-tactics-coq_8.6.1-2_all.deb

  01/11/2017 13:05 215.62 KB
  Télécharger
• libaac-tactics-ocaml-dev_0.4-2_amd64.deb

  20/01/2014 11:33 42.89 KB
  Télécharger
• libaac-tactics-ocaml-dev_0.4-2_i386.deb

  20/01/2014 11:33 43.33 KB
  Télécharger
• libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb

  05/11/2015 00:33 43 KB
  Télécharger
• libaac-tactics-ocaml-dev_0.4-5build2_i386.deb

  05/11/2015 00:34 43 KB
  Télécharger
• libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb

  18/03/2020 19:48 37.72 KB
  Télécharger
• libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb

  06/02/2022 19:04 39.82 KB
  Télécharger
• libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb

  01/11/2017 13:05 36.8 KB
  Télécharger
• libaac-tactics-ocaml-dev_8.6.1-2_i386.deb

  01/11/2017 13:05 36.8 KB
  Télécharger
• libaac-tactics-ocaml_0.4-2_amd64.deb

  20/01/2014 11:33 125.11 KB
  Télécharger
• libaac-tactics-ocaml_0.4-2_i386.deb

  20/01/2014 11:33 114.22 KB
  Télécharger
• libaac-tactics-ocaml_0.4-5build2_amd64.deb

  05/11/2015 00:33 117.17 KB
  Télécharger
• libaac-tactics-ocaml_0.4-5build2_i386.deb

  05/11/2015 00:34 109.33 KB
  Télécharger
• libaac-tactics-ocaml_8.11.0-1_amd64.deb

  18/03/2020 19:48 104.39 KB
  Télécharger
• libaac-tactics-ocaml_8.15.0-1_amd64.deb

  06/02/2022 19:04 127.72 KB
  Télécharger
• libaac-tactics-ocaml_8.6.1-2_amd64.deb

  01/11/2017 13:05 117.48 KB
  Télécharger
• libaac-tactics-ocaml_8.6.1-2_i386.deb

  01/11/2017 13:05 108.2 KB
  Télécharger
• libcoq-aac-tactics_8.18.0-1build3_amd64.deb

  08/04/2024 07:57 411.79 KB
  Télécharger
• libcoq-aac-tactics_8.20.0-1build3_amd64.deb

  18/02/2025 21:25 420.82 KB
  Télécharger
• libcoq-aac-tactics_8.20.0-1build4_amd64.deb

  20/06/2025 04:01 419.61 KB
  Télécharger