Index of /debian-ports/pool-hurd-i386/main/c/coq-quickchick/


../
coq-quickchick_2.0-2+b3_hurd-i386.buildinfo                                                                              01-Oct-2023 12:03    7970
libcoq-quickchick-dbgsym_2.0-2+b3_hurd-i386.deb                                                                          01-Oct-2023 12:03     29K
libcoq-quickchick_2.0-2+b3_hurd-i386.deb                                                                                 01-Oct-2023 12:03      2M
quickchick_2.0-2+b3_hurd-i386.deb                                                                                        01-Oct-2023 12:03     57K