← Retour sur l'intranet
Index of /debian/pool/main/c/coq-serapi/
Index of /debian/pool/main/c/coq-serapi/
../ coq-serapi_8.19.0+0.19.3-2+b1_amd64.deb 26-May-2024 11:15 29M coq-serapi_8.19.0+0.19.3-2.debian.tar.xz 16-May-2024 13:13 8932 coq-serapi_8.19.0+0.19.3-2.dsc 16-May-2024 13:13 2481 coq-serapi_8.19.0+0.19.3-2_amd64.deb 16-May-2024 13:13 29M coq-serapi_8.19.0+0.19.3-2_arm64.deb 26-May-2024 08:52 35M coq-serapi_8.19.0+0.19.3-2_armhf.deb 26-May-2024 08:52 28M coq-serapi_8.19.0+0.19.3-2_i386.deb 26-May-2024 08:47 26M coq-serapi_8.19.0+0.19.3-2_ppc64el.deb 26-May-2024 08:47 29M coq-serapi_8.19.0+0.19.3-2_riscv64.deb 26-May-2024 09:12 30M coq-serapi_8.19.0+0.19.3-3.debian.tar.xz 18-Jun-2024 09:01 10K coq-serapi_8.19.0+0.19.3-3.dsc 18-Jun-2024 09:01 2493 coq-serapi_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 09:16 29M coq-serapi_8.19.0+0.19.3-3_arm64.deb 18-Jun-2024 09:16 34M coq-serapi_8.19.0+0.19.3-3_armhf.deb 18-Jun-2024 09:21 28M coq-serapi_8.19.0+0.19.3-3_i386.deb 18-Jun-2024 09:16 27M coq-serapi_8.19.0+0.19.3-3_ppc64el.deb 18-Jun-2024 09:16 29M coq-serapi_8.19.0+0.19.3-3_riscv64.deb 18-Jun-2024 09:42 29M coq-serapi_8.19.0+0.19.3-4+b1_amd64.deb 08-Aug-2024 18:29 30M coq-serapi_8.19.0+0.19.3-4+b1_arm64.deb 08-Aug-2024 18:29 34M coq-serapi_8.19.0+0.19.3-4+b1_ppc64el.deb 08-Aug-2024 17:53 30M coq-serapi_8.19.0+0.19.3-4+b1_riscv64.deb 08-Aug-2024 22:32 31M coq-serapi_8.19.0+0.19.3-4+b2_amd64.deb 21-Aug-2024 03:54 30M coq-serapi_8.19.0+0.19.3-4+b2_arm64.deb 21-Aug-2024 03:59 34M coq-serapi_8.19.0+0.19.3-4+b2_ppc64el.deb 21-Aug-2024 03:54 30M coq-serapi_8.19.0+0.19.3-4+b2_riscv64.deb 21-Aug-2024 05:46 31M coq-serapi_8.19.0+0.19.3-4+b3_ppc64el.deb 30-Aug-2024 15:15 30M coq-serapi_8.19.0+0.19.3-4.debian.tar.xz 04-Aug-2024 06:53 10K coq-serapi_8.19.0+0.19.3-4.dsc 04-Aug-2024 06:53 2271 coq-serapi_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 07:28 29M coq-serapi_8.19.0+0.19.3-4_arm64.deb 04-Aug-2024 07:23 34M coq-serapi_8.19.0+0.19.3-4_armhf.deb 04-Aug-2024 07:28 28M coq-serapi_8.19.0+0.19.3-4_i386.deb 04-Aug-2024 07:23 27M coq-serapi_8.19.0+0.19.3-4_ppc64el.deb 04-Aug-2024 07:23 29M coq-serapi_8.19.0+0.19.3-4_riscv64.deb 04-Aug-2024 07:59 29M coq-serapi_8.19.0+0.19.3.orig.tar.gz 16-May-2024 13:13 175K coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 20-Nov-2024 09:57 9080 coq-serapi_8.20.0+0.20.0-1.dsc 20-Nov-2024 09:57 2490 coq-serapi_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 14:21 30M coq-serapi_8.20.0+0.20.0-1_arm64.deb 20-Nov-2024 14:57 34M coq-serapi_8.20.0+0.20.0-1_ppc64el.deb 20-Nov-2024 14:57 30M coq-serapi_8.20.0+0.20.0-1_riscv64.deb 20-Nov-2024 16:29 31M coq-serapi_8.20.0+0.20.0.orig.tar.gz 20-Nov-2024 09:57 178K libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2+b1_amd6..> 26-May-2024 11:15 12M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_amd64.deb 16-May-2024 13:13 12M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_arm64.deb 26-May-2024 08:52 12M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_armhf.deb 26-May-2024 08:52 12M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_i386.deb 26-May-2024 08:47 12M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_ppc64el..> 26-May-2024 08:47 12M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_riscv64..> 26-May-2024 09:12 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 09:16 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb 18-Jun-2024 09:16 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_armhf.deb 18-Jun-2024 09:21 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_i386.deb 18-Jun-2024 09:16 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_ppc64el..> 18-Jun-2024 09:16 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_riscv64..> 18-Jun-2024 09:42 14M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_amd6..> 08-Aug-2024 18:29 16M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_arm6..> 08-Aug-2024 18:29 16M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_ppc6..> 08-Aug-2024 17:53 16M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b1_risc..> 08-Aug-2024 22:32 18M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_amd6..> 21-Aug-2024 03:54 16M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_arm6..> 21-Aug-2024 03:59 16M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_ppc6..> 21-Aug-2024 03:54 16M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_risc..> 21-Aug-2024 05:46 18M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b3_ppc6..> 30-Aug-2024 15:15 16M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 07:28 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_arm64.deb 04-Aug-2024 07:23 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_armhf.deb 04-Aug-2024 07:28 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_i386.deb 04-Aug-2024 07:23 12M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_ppc64el..> 04-Aug-2024 07:23 13M libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_riscv64..> 04-Aug-2024 07:59 14M libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 14:21 17M libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_arm64.deb 20-Nov-2024 14:57 17M libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_ppc64el..> 20-Nov-2024 14:57 17M libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_riscv64..> 20-Nov-2024 16:29 19M libcoq-serapi-ocaml_8.19.0+0.19.3-2+b1_amd64.deb 26-May-2024 11:15 6M libcoq-serapi-ocaml_8.19.0+0.19.3-2_amd64.deb 16-May-2024 13:13 6M libcoq-serapi-ocaml_8.19.0+0.19.3-2_arm64.deb 26-May-2024 08:52 6M libcoq-serapi-ocaml_8.19.0+0.19.3-2_armhf.deb 26-May-2024 08:52 6M libcoq-serapi-ocaml_8.19.0+0.19.3-2_i386.deb 26-May-2024 08:47 6M libcoq-serapi-ocaml_8.19.0+0.19.3-2_ppc64el.deb 26-May-2024 08:47 6M libcoq-serapi-ocaml_8.19.0+0.19.3-2_riscv64.deb 26-May-2024 09:12 6M libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb 18-Jun-2024 09:16 6M libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb 18-Jun-2024 09:16 6M libcoq-serapi-ocaml_8.19.0+0.19.3-3_armhf.deb 18-Jun-2024 09:21 6M libcoq-serapi-ocaml_8.19.0+0.19.3-3_i386.deb 18-Jun-2024 09:16 6M libcoq-serapi-ocaml_8.19.0+0.19.3-3_ppc64el.deb 18-Jun-2024 09:16 6M libcoq-serapi-ocaml_8.19.0+0.19.3-3_riscv64.deb 18-Jun-2024 09:42 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_amd64.deb 08-Aug-2024 18:29 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_arm64.deb 08-Aug-2024 18:29 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_ppc64el.deb 08-Aug-2024 17:53 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b1_riscv64.deb 08-Aug-2024 22:32 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_amd64.deb 21-Aug-2024 03:54 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_arm64.deb 21-Aug-2024 03:59 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_ppc64el.deb 21-Aug-2024 03:54 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_riscv64.deb 21-Aug-2024 05:46 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4+b3_ppc64el.deb 30-Aug-2024 15:15 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4_amd64.deb 04-Aug-2024 07:28 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4_arm64.deb 04-Aug-2024 07:23 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4_armhf.deb 04-Aug-2024 07:28 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4_i386.deb 04-Aug-2024 07:23 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4_ppc64el.deb 04-Aug-2024 07:23 6M libcoq-serapi-ocaml_8.19.0+0.19.3-4_riscv64.deb 04-Aug-2024 07:59 6M libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb 20-Nov-2024 14:21 6M libcoq-serapi-ocaml_8.20.0+0.20.0-1_arm64.deb 20-Nov-2024 14:57 6M libcoq-serapi-ocaml_8.20.0+0.20.0-1_ppc64el.deb 20-Nov-2024 14:57 6M libcoq-serapi-ocaml_8.20.0+0.20.0-1_riscv64.deb 20-Nov-2024 16:29 6M