| ⬆️Parent directory | — | — |
| 📦coq-deriving_0.1.0-2.debian.tar.xz | 1.93K | Thu Jan 26 2023 |
| 📄coq-deriving_0.1.0-2.dsc | 2.07K | Thu Jan 26 2023 |
| 📦coq-deriving_0.1.0.orig.tar.gz | 28.7K | Sat Jul 16 2022 |
| 📦coq-deriving_0.2.1-1.debian.tar.xz | 2.17K | Wed Dec 18 2024 |
| 📄coq-deriving_0.2.1-1.dsc | 2.08K | Wed Dec 18 2024 |
| 📦coq-deriving_0.2.1.orig.tar.gz | 31.2K | Wed Dec 18 2024 |
| 📦coq-deriving_0.2.3-3.debian.tar.xz | 2.36K | Wed Aug 12 2026 |
| 📄coq-deriving_0.2.3-3.dsc | 2.09K | Wed Aug 12 2026 |
| 📦coq-deriving_0.2.3.orig.tar.gz | 44.3K | Tue Jul 21 2026 |
| 📦libcoq-deriving_0.1.0-2+b1_amd64.deb | 414K | Mon Feb 13 2023 |
| 📦libcoq-deriving_0.1.0-2+b1_i386.deb | 413K | Mon Feb 13 2023 |
| 📦libcoq-deriving_0.2.1-1+b7_amd64.deb | 483K | Sun Jun 15 2025 |
| 📦libcoq-deriving_0.2.3-3+b2_amd64.deb | 481K | Sat Sep 19 2026 |