![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | coq-doc_8.1-3.patch-basis | 2007-05-02 13:54 | 11 | |
| coq-doc_8.2pl1-1.patch-basis | 2010-01-18 05:38 | 6 | |
| coq-doc_8.2pl1-1.patch.bz2 | 2010-01-18 05:38 | 3.2M | |
| coq-doc_8.3pl2-1.patch-basis | 2011-05-06 18:22 | 9 | |
| coq-doc_8.3pl2-1.patch.bz2 | 2011-05-06 18:22 | 2.8M | |
| coq-doc_8.3pl3-1.patch-basis | 2012-01-14 06:03 | 9 | |
| coq-doc_8.3pl3-1.patch.bz2 | 2012-01-14 06:03 | 155K | |
| coq-doc_8.4pl2-1.patch-basis | 2013-12-13 22:10 | 9 | |
| coq-doc_8.4pl2-1.patch.bz2 | 2013-12-13 22:10 | 2.0M | |
| coq-doc_8.4pl4-1.patch-basis | 2014-08-17 15:40 | 9 | |
| coq-doc_8.4pl4-1.patch.bz2 | 2014-08-17 15:40 | 63K | |
| coq-doc_8.4pl4-2.patch-basis | 2016-02-12 04:43 | 9 | |
| coq-doc_8.4pl4-2.patch.bz2 | 2016-02-12 04:43 | 9.6K | |
| coq-doc_8.6-1.patch-basis | 2017-07-13 16:26 | 9 | |
| coq-doc_8.6-1.patch.bz2 | 2017-07-13 16:26 | 3.6M | |
| coq-doc_8.15.0-1.patch-basis | 2022-02-08 21:13 | 6 | |
| coq-doc_8.15.0-1.patch.bz2 | 2022-02-08 21:13 | 6.6M | |
| coq-doc_8.15.0-2.patch-basis | 2022-02-17 15:13 | 6 | |
| coq-doc_8.15.0-2.patch.bz2 | 2022-02-17 15:13 | 6.6M | |
| coq-doc_8.15.0-3.patch-basis | 2022-02-22 15:16 | 6 | |
| coq-doc_8.15.0-3.patch.bz2 | 2022-02-22 15:16 | 6.6M | |
| coq-doc_8.15.1-1.patch-basis | 2022-03-30 16:14 | 9 | |
| coq-doc_8.15.1-1.patch.bz2 | 2022-03-30 16:14 | 28K | |
| coq-doc_8.15.2-1.patch-basis | 2022-06-16 03:44 | 9 | |
| coq-doc_8.15.2-1.patch.bz2 | 2022-06-16 03:44 | 35K | |
| coq-doc_8.15.2-2.patch-basis | 2022-06-16 09:46 | 9 | |
| coq-doc_8.15.2-2.patch.bz2 | 2022-06-16 09:46 | 520 | |
| coq-doc_8.15.2-3.patch-basis | 2022-07-14 15:13 | 9 | |
| coq-doc_8.15.2-3.patch.bz2 | 2022-07-14 15:13 | 565 | |
| coq-doc_8.16.0-1.patch-basis | 2022-09-11 15:18 | 9 | |
| coq-doc_8.16.0-1.patch.bz2 | 2022-09-11 15:18 | 1.3M | |
| coq-doc_8.16.0-2.patch-basis | 2022-10-03 03:43 | 9 | |
| coq-doc_8.16.0-2.patch.bz2 | 2022-10-03 03:43 | 1.3M | |
| coq-doc_8.16.1-1.patch-basis | 2022-12-10 03:44 | 9 | |
| coq-doc_8.16.1-1.patch.bz2 | 2022-12-10 03:44 | 21K | |
| coq-doc_8.17.1-1.patch-basis | 2023-08-12 16:12 | 9 | |
| coq-doc_8.17.1-1.patch.bz2 | 2023-08-12 16:12 | 1.1M | |
| coq-doc_8.18.0-1.patch-basis | 2024-01-25 21:33 | 9 | |
| coq-doc_8.18.0-1.patch.bz2 | 2024-01-25 21:33 | 871K | |
| coq-doc_8.19.1-1.patch-basis | 2024-04-26 16:29 | 9 | |
| coq-doc_8.19.1-1.patch.bz2 | 2024-04-26 16:29 | 675K | |
| coq-doc_8.19.1-2.patch-basis | 2024-06-18 21:47 | 9 | |
| coq-doc_8.19.1-2.patch.bz2 | 2024-06-18 21:47 | 677 | |
![[TXT]](/icons/text.gif) | coq-doc_8.20.0-1.patch | 2024-12-27 03:14 | 7.5M | |
| coq-doc_8.20.0-1.patch-basis | 2024-12-27 03:14 | 9 | |
| coq-doc_8.20.0-2.patch | 2025-01-24 04:26 | 3.3K | |
| coq-doc_8.20.0-2.patch-basis | 2025-01-24 04:26 | 9 | |
| patches.xml | 2025-01-24 04:29 | 2.9K | |
|
|---|