| ⬆️Parent directory | — | — |
| 📦coq-record-update_0.3.1-2.debian.tar.xz | 1.83K | Wed Jan 25 2023 |
| 📄coq-record-update_0.3.1-2.dsc | 2.1K | Wed Jan 25 2023 |
| 📦coq-record-update_0.3.1.orig.tar.gz | 13.2K | Sun Jul 17 2022 |
| 📦coq-record-update_0.3.4-4.debian.tar.xz | 2.13K | Sat Nov 23 2024 |
| 📄coq-record-update_0.3.4-4.dsc | 2.1K | Sat Nov 23 2024 |
| 📦coq-record-update_0.3.4.orig.tar.gz | 13.4K | Thu May 02 2024 |
| 📦coq-record-update_0.3.7-3.debian.tar.xz | 2.27K | Tue Jul 28 2026 |
| 📄coq-record-update_0.3.7-3.dsc | 2.12K | Tue Jul 28 2026 |
| 📦coq-record-update_0.3.7.orig.tar.gz | 18.5K | Fri Jul 10 2026 |
| 📦libcoq-record-update_0.3.1-2+b1_amd64.deb | 14.2K | Mon Feb 13 2023 |
| 📦libcoq-record-update_0.3.1-2+b1_i386.deb | 14.2K | Mon Feb 13 2023 |
| 📦libcoq-record-update_0.3.4-4+b4_amd64.deb | 14.3K | Sun Jun 15 2025 |
| 📦libcoq-record-update_0.3.7-3+b2_amd64.deb | 19.1K | Wed Aug 26 2026 |
| 📦libcoq-record-update_0.3.7-3_i386.deb | 18.7K | Tue Jul 28 2026 |