Index of /debian/pool/main/c/coq-relation-algebra/

../
coq-relation-algebra_1.7.10-3.debian.tar.xz        01-May-2024 05:09                2140
coq-relation-algebra_1.7.10-3.dsc                  01-May-2024 05:09                2251
coq-relation-algebra_1.7.10-4.debian.tar.xz        04-Aug-2024 14:21                2220
coq-relation-algebra_1.7.10-4.dsc                  04-Aug-2024 14:21                2032
coq-relation-algebra_1.7.10.orig.tar.gz            01-May-2024 05:09              196686
coq-relation-algebra_1.7.11-1.debian.tar.xz        20-Nov-2024 18:07                2232
coq-relation-algebra_1.7.11-1.dsc                  20-Nov-2024 18:07                2251
coq-relation-algebra_1.7.11.orig.tar.gz            20-Nov-2024 18:07              196680
coq-relation-algebra_1.7.8-2.debian.tar.xz         26-Jan-2023 20:44                1656
coq-relation-algebra_1.7.8-2.dsc                   26-Jan-2023 20:44                2234
coq-relation-algebra_1.7.8.orig.tar.gz             23-Sep-2022 22:29              196590
coq-relation-algebra_1.7.9-2.debian.tar.xz         22-Dec-2023 19:07                2300
coq-relation-algebra_1.7.9-2.dsc                   22-Dec-2023 19:07                2244
coq-relation-algebra_1.7.9.orig.tar.gz             14-Jun-2023 21:57              196660
coq-relation-algebra_1.8.0-1.debian.tar.xz         30-Oct-2025 15:18                2312
coq-relation-algebra_1.8.0-1.dsc                   30-Oct-2025 15:18                2246
coq-relation-algebra_1.8.0-2.debian.tar.xz         12-Nov-2025 03:47                2352
coq-relation-algebra_1.8.0-2.dsc                   12-Nov-2025 03:47                2253
coq-relation-algebra_1.8.0.orig.tar.gz             30-Oct-2025 15:18              197632
libcoq-relation-algebra_1.7.10-3+b1_amd64.deb      05-Jun-2024 07:42             2099804
libcoq-relation-algebra_1.7.10-3+b2_amd64.deb      11-Jun-2024 19:36             2099948
libcoq-relation-algebra_1.7.10-3+b3_amd64.deb      15-Jun-2024 21:12             2098808
libcoq-relation-algebra_1.7.10-3_amd64.deb         01-May-2024 05:39             2098904
libcoq-relation-algebra_1.7.10-4+b1_amd64.deb      09-Aug-2024 05:29             2101616
libcoq-relation-algebra_1.7.10-4+b2_amd64.deb      21-Aug-2024 15:59             2102596
libcoq-relation-algebra_1.7.10-4+b3_amd64.deb      31-Aug-2024 13:16             2101964
libcoq-relation-algebra_1.7.10-4+b4_amd64.deb      17-Sep-2024 19:38             2101988
libcoq-relation-algebra_1.7.10-4+b5_amd64.deb      13-Oct-2024 19:54             2102080
libcoq-relation-algebra_1.7.10-4_amd64.deb         05-Aug-2024 03:36             2099456
libcoq-relation-algebra_1.7.11-1+b10_amd64.deb     16-Sep-2025 19:37             2083428
libcoq-relation-algebra_1.7.11-1+b11_amd64.deb     24-Sep-2025 18:24             2083644
libcoq-relation-algebra_1.7.11-1+b12_amd64.deb     17-Oct-2025 20:46             2083696
libcoq-relation-algebra_1.7.11-1+b13_amd64.deb     29-Oct-2025 04:48             2083288
libcoq-relation-algebra_1.7.11-1+b15_amd64.deb     28-Dec-2025 14:22             2082696
libcoq-relation-algebra_1.7.11-1+b1_amd64.deb      20-Dec-2024 03:54             2083068
libcoq-relation-algebra_1.7.11-1+b2_amd64.deb      15-Jan-2025 14:47             2083536
libcoq-relation-algebra_1.7.11-1+b3_amd64.deb      29-Jan-2025 03:56             2083476
libcoq-relation-algebra_1.7.11-1+b6_amd64.deb      19-Mar-2025 02:46             2083668
libcoq-relation-algebra_1.7.11-1+b7_amd64.deb      15-Jun-2025 12:21             2083588
libcoq-relation-algebra_1.7.11-1+b8_amd64.deb      26-Aug-2025 20:00             2083844
libcoq-relation-algebra_1.7.11-1+b9_amd64.deb      12-Sep-2025 05:57             2083268
libcoq-relation-algebra_1.7.11-1_amd64.deb         21-Nov-2024 08:08             2082820
libcoq-relation-algebra_1.7.8-2+b1_amd64.deb       13-Feb-2023 15:28             2036796
libcoq-relation-algebra_1.7.9-2+b1_amd64.deb       16-Feb-2024 23:09             2026784
libcoq-relation-algebra_1.8.0-1_amd64.deb          30-Oct-2025 15:18             2095692
libcoq-relation-algebra_1.8.0-2_amd64.deb          12-Nov-2025 03:47             2096628