Syxpi's Ubuntu Mirror

Contenu du répertoire

• acl2-books-certs_6.3-5_all.deb

  24/10/2013 16:36 11.1 MB
  Télécharger
• acl2-books-certs_7.1-1_all.deb

  27/06/2015 13:48 12.58 MB
  Télécharger
• acl2-books-certs_8.0dfsg-1_all.deb

  14/01/2018 03:08 70 MB
  Télécharger
• acl2-books-certs_8.2dfsg-3build1_all.deb

  23/03/2020 13:24 65.78 MB
  Télécharger
• acl2-books-certs_8.4dfsg-2_all.deb

  19/12/2021 01:10 221.09 MB
  Télécharger
• acl2-books-certs_8.5dfsg-5build3_all.deb

  02/04/2024 08:03 215.75 MB
  Télécharger
• acl2-books-certs_8.5dfsg-6_all.deb

  29/07/2024 04:20 78.65 MB
  Télécharger
• acl2-books-certs_8.6+dfsg-3_all.deb

  15/05/2025 07:30 267.66 MB
  Télécharger
• acl2-books-source_6.3-5_all.deb

  24/10/2013 16:36 9.13 MB
  Télécharger
• acl2-books-source_7.1-1_all.deb

  27/06/2015 13:48 9.85 MB
  Télécharger
• acl2-books-source_8.0dfsg-1_all.deb

  14/01/2018 03:08 11.89 MB
  Télécharger
• acl2-books-source_8.2dfsg-3build1_all.deb

  23/03/2020 13:24 13.63 MB
  Télécharger
• acl2-books-source_8.4dfsg-2_all.deb

  19/12/2021 01:10 21.11 MB
  Télécharger
• acl2-books-source_8.5dfsg-5build3_all.deb

  02/04/2024 08:02 22.7 MB
  Télécharger
• acl2-books-source_8.5dfsg-6_all.deb

  29/07/2024 04:20 22.71 MB
  Télécharger
• acl2-books-source_8.6+dfsg-3_all.deb

  15/05/2025 07:30 26.34 MB
  Télécharger
• acl2-books_6.3-5_amd64.deb

  24/10/2013 16:36 40.12 MB
  Télécharger
• acl2-books_6.3-5_i386.deb

  24/10/2013 16:36 35.81 MB
  Télécharger
• acl2-books_7.1-1_amd64.deb

  27/06/2015 13:48 18.7 MB
  Télécharger
• acl2-books_7.1-1_i386.deb

  02/06/2015 02:43 17.74 MB
  Télécharger
• acl2-books_8.0dfsg-1_amd64.deb

  14/01/2018 03:08 131.69 MB
  Télécharger
• acl2-books_8.2dfsg-3build1_amd64.deb

  23/03/2020 13:24 163.36 MB
  Télécharger
• acl2-books_8.4dfsg-2_amd64.deb

  19/12/2021 01:09 337.55 MB
  Télécharger
• acl2-books_8.5dfsg-5build3_amd64.deb

  02/04/2024 08:03 330.5 MB
  Télécharger
• acl2-books_8.5dfsg-6_amd64.deb

  29/07/2024 04:20 170.51 MB
  Télécharger
• acl2-books_8.6+dfsg-3_amd64.deb

  15/05/2025 07:30 468.98 MB
  Télécharger
• acl2-doc_6.3-5_all.deb

  24/10/2013 16:36 12.14 MB
  Télécharger
• acl2-doc_7.1-1_all.deb

  27/06/2015 13:48 353.3 KB
  Télécharger
• acl2-doc_8.0dfsg-1_all.deb

  14/01/2018 03:08 385.12 KB
  Télécharger
• acl2-doc_8.2dfsg-3build1_all.deb

  23/03/2020 13:24 418.07 KB
  Télécharger
• acl2-doc_8.4dfsg-2_all.deb

  19/12/2021 01:09 441.07 KB
  Télécharger
• acl2-doc_8.5dfsg-5build3_all.deb

  02/04/2024 08:02 473.93 KB
  Télécharger
• acl2-doc_8.5dfsg-6_all.deb

  29/07/2024 04:20 473.8 KB
  Télécharger
• acl2-doc_8.6+dfsg-3_all.deb

  15/05/2025 07:30 516.04 KB
  Télécharger
• acl2-emacs_6.3-5_all.deb

  24/10/2013 16:36 54.98 KB
  Télécharger
• acl2-emacs_7.1-1_all.deb

  27/06/2015 13:48 55.2 KB
  Télécharger
• acl2-emacs_8.0dfsg-1_all.deb

  14/01/2018 03:08 58.93 KB
  Télécharger
• acl2-emacs_8.2dfsg-3build1_all.deb

  23/03/2020 13:24 59.1 KB
  Télécharger
• acl2-infix-source_6.3-5_all.deb

  24/10/2013 16:36 85.97 KB
  Télécharger
• acl2-infix-source_7.1-1_all.deb

  27/06/2015 13:48 70.33 KB
  Télécharger
• acl2-infix-source_8.0dfsg-1_all.deb

  14/01/2018 03:08 70.2 KB
  Télécharger
• acl2-infix-source_8.2dfsg-3build1_all.deb

  23/03/2020 13:24 70.23 KB
  Télécharger
• acl2-infix-source_8.4dfsg-2_all.deb

  19/12/2021 01:10 71.95 KB
  Télécharger
• acl2-infix-source_8.5dfsg-5build3_all.deb

  02/04/2024 08:02 72.41 KB
  Télécharger
• acl2-infix-source_8.5dfsg-6_all.deb

  29/07/2024 04:20 72.29 KB
  Télécharger
• acl2-infix-source_8.6+dfsg-3_all.deb

  15/05/2025 07:30 72.77 KB
  Télécharger
• acl2-infix_6.3-5_amd64.deb

  24/10/2013 16:36 200.32 KB
  Télécharger
• acl2-infix_6.3-5_i386.deb

  24/10/2013 16:36 189.04 KB
  Télécharger
• acl2-infix_7.1-1_amd64.deb

  27/06/2015 13:48 140.19 KB
  Télécharger
• acl2-infix_7.1-1_i386.deb

  02/06/2015 02:43 142.15 KB
  Télécharger
• acl2-infix_8.0dfsg-1_amd64.deb

  14/01/2018 03:08 414.21 KB
  Télécharger
• acl2-infix_8.0dfsg-1_i386.deb

  14/01/2018 04:49 381.12 KB
  Télécharger
• acl2-infix_8.2dfsg-3build1_amd64.deb

  23/03/2020 13:24 469.87 KB
  Télécharger
• acl2-infix_8.4dfsg-2_amd64.deb

  19/12/2021 01:09 550.79 KB
  Télécharger
• acl2-infix_8.5dfsg-5build3_amd64.deb

  02/04/2024 08:02 538.13 KB
  Télécharger
• acl2-infix_8.5dfsg-6_amd64.deb

  29/07/2024 04:20 533.04 KB
  Télécharger
• acl2-infix_8.6+dfsg-3_amd64.deb

  15/05/2025 07:30 990.84 KB
  Télécharger
• acl2-source_6.3-5_all.deb

  24/10/2013 16:36 3.62 MB
  Télécharger
• acl2-source_7.1-1_all.deb

  27/06/2015 13:48 2.71 MB
  Télécharger
• acl2-source_8.0dfsg-1_all.deb

  14/01/2018 03:08 2.93 MB
  Télécharger
• acl2-source_8.2dfsg-3build1_all.deb

  23/03/2020 13:24 3.12 MB
  Télécharger
• acl2-source_8.4dfsg-2_all.deb

  19/12/2021 01:10 3.37 MB
  Télécharger
• acl2-source_8.5dfsg-5build3_all.deb

  02/04/2024 08:02 3.48 MB
  Télécharger
• acl2-source_8.5dfsg-6_all.deb

  29/07/2024 04:20 3.48 MB
  Télécharger
• acl2-source_8.6+dfsg-3_all.deb

  15/05/2025 07:30 3.87 MB
  Télécharger
• acl2_6.3-5.debian.tar.gz

  21/10/2013 13:09 157.7 KB
  Télécharger
• acl2_6.3-5.dsc

  21/10/2013 13:09 1.71 KB
  Télécharger
• acl2_6.3-5_amd64.deb

  24/10/2013 16:36 26.59 MB
  Télécharger
• acl2_6.3-5_i386.deb

  24/10/2013 16:36 22.9 MB
  Télécharger
• acl2_7.1-1.debian.tar.xz

  01/06/2015 23:24 125.88 KB
  Télécharger
• acl2_7.1-1.dsc

  01/06/2015 23:24 2.15 KB
  Télécharger
• acl2_7.1-1_amd64.deb

  27/06/2015 13:48 16.48 MB
  Télécharger
• acl2_7.1-1_i386.deb

  02/06/2015 02:43 15.7 MB
  Télécharger
• acl2_8.0dfsg-1.debian.tar.xz

  13/01/2018 23:08 199.96 KB
  Télécharger
• acl2_8.0dfsg-1.dsc

  13/01/2018 23:08 2.19 KB
  Télécharger
• acl2_8.0dfsg-1_amd64.deb

  14/01/2018 03:08 18.79 MB
  Télécharger
• acl2_8.0dfsg-1_i386.deb

  14/01/2018 04:49 16.21 MB
  Télécharger
• acl2_8.2dfsg-3build1.debian.tar.xz

  23/03/2020 07:00 201.2 KB
  Télécharger
• acl2_8.2dfsg-3build1.dsc

  23/03/2020 07:00 2.24 KB
  Télécharger
• acl2_8.2dfsg-3build1_amd64.deb

  23/03/2020 13:24 20.92 MB
  Télécharger
• acl2_8.4dfsg-2.debian.tar.xz

  01/11/2021 23:24 304.32 KB
  Télécharger
• acl2_8.4dfsg-2.dsc

  01/11/2021 23:24 2.23 KB
  Télécharger
• acl2_8.4dfsg-2_amd64.deb

  19/12/2021 01:10 24.92 MB
  Télécharger
• acl2_8.5dfsg-5build3.debian.tar.xz

  01/04/2024 05:43 305.7 KB
  Télécharger
• acl2_8.5dfsg-5build3.dsc

  01/04/2024 05:43 2.32 KB
  Télécharger
• acl2_8.5dfsg-5build3_amd64.deb

  02/04/2024 08:03 25.61 MB
  Télécharger
• acl2_8.5dfsg-6.debian.tar.xz

  28/07/2024 23:59 305.52 KB
  Télécharger
• acl2_8.5dfsg-6.dsc

  28/07/2024 23:59 2.21 KB
  Télécharger
• acl2_8.5dfsg-6_amd64.deb

  29/07/2024 04:20 25.26 MB
  Télécharger
• acl2_8.6+dfsg-3.debian.tar.xz

  15/05/2025 00:36 694.53 KB
  Télécharger
• acl2_8.6+dfsg-3.dsc

  15/05/2025 00:35 2.23 KB
  Télécharger
• acl2_8.6+dfsg-3_amd64.deb

  15/05/2025 07:30 45.32 MB
  Télécharger
• elpa-acl2_8.4dfsg-2_all.deb

  19/12/2021 01:09 69.13 KB
  Télécharger
• elpa-acl2_8.5dfsg-5build3_all.deb

  02/04/2024 08:02 70.73 KB
  Télécharger
• elpa-acl2_8.5dfsg-6_all.deb

  29/07/2024 04:20 70.81 KB
  Télécharger
• elpa-acl2_8.6+dfsg-3_all.deb

  15/05/2025 07:30 78.62 KB
  Télécharger