Index of /debian/pool/main/c/coq

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] coq-theories_8.9.0-1..> 2019-02-06 21:49   28M  
[   ] coq-theories_8.12.0-..> 2020-11-25 10:28   35M  
[   ] coq_8.9.0-1.debian.t..> 2019-02-06 21:49   27K  
[TXT] coq_8.9.0-1.dsc         2019-02-06 21:49  2.4K  
[   ] coq_8.9.0-1_amd64.deb   2019-02-06 21:49   56M  
[   ] coq_8.9.0.orig.tar.gz   2019-02-06 21:49  5.1M  
[   ] coq_8.12.0-3+b3_amd6..> 2020-11-25 10:28   86M  
[   ] coq_8.12.0-3.debian...> 2020-09-10 09:38   37K  
[TXT] coq_8.12.0-3.dsc        2020-09-10 09:38  2.4K  
[   ] coq_8.12.0.orig.tar.gz  2020-08-22 12:26  5.7M  
[   ] coq_8.16.1+dfsg-1+b2..> 2023-02-13 04:14   89M  
[   ] coq_8.16.1+dfsg-1.de..> 2022-11-29 11:35   32K  
[TXT] coq_8.16.1+dfsg-1.dsc   2022-11-29 11:35  2.6K  
[   ] coq_8.16.1+dfsg.orig..> 2022-11-29 11:35  4.5M  
[   ] coq_8.20.0+dfsg-1+b1..> 2025-01-28 20:00   67M  
[   ] coq_8.20.0+dfsg-1.de..> 2024-11-20 12:52   29K  
[TXT] coq_8.20.0+dfsg-1.dsc   2024-11-20 12:52  2.5K  
[   ] coq_8.20.0+dfsg.orig..> 2024-11-20 12:52  4.8M  
[   ] coq_8.20.1+dfsg-1.de..> 2025-02-17 19:37   30K  
[TXT] coq_8.20.1+dfsg-1.dsc   2025-02-17 19:37  2.5K  
[   ] coq_8.20.1+dfsg-1_am..> 2025-02-17 20:12   67M  
[   ] coq_8.20.1+dfsg.orig..> 2025-02-17 19:37  4.8M  
[   ] coqide_8.12.0-3+b3_a..> 2020-11-25 10:28  1.8M  
[   ] coqide_8.16.1+dfsg-1..> 2023-02-13 04:14  1.9M  
[   ] coqide_8.20.0+dfsg-1..> 2025-01-28 20:00  1.8M  
[   ] coqide_8.20.1+dfsg-1..> 2025-02-17 20:12  1.8M  
[   ] libcoq-core-ocaml-de..> 2023-02-13 04:14   41M  
[   ] libcoq-core-ocaml-de..> 2025-01-28 20:00   66M  
[   ] libcoq-core-ocaml-de..> 2025-02-17 20:12   66M  
[   ] libcoq-core-ocaml_8...> 2023-02-13 04:14   22M  
[   ] libcoq-core-ocaml_8...> 2025-01-28 20:00   25M  
[   ] libcoq-core-ocaml_8...> 2025-02-17 20:12   25M  
[   ] libcoq-ocaml-dev_8.9..> 2019-02-06 21:49   13M  
[   ] libcoq-ocaml-dev_8.1..> 2020-11-25 10:28   18M  
[   ] libcoq-ocaml_8.9.0-1..> 2019-02-06 21:49  5.2M  
[   ] libcoq-ocaml_8.12.0-..> 2020-11-25 10:28  7.4M  
[   ] libcoq-stdlib_8.16.1..> 2023-02-13 04:14   21M  
[   ] libcoq-stdlib_8.20.0..> 2025-01-28 20:00   22M  
[   ] libcoq-stdlib_8.20.1..> 2025-02-17 20:12   22M