Index of /raspbian/pool/main/c/coq-simple-io/

../
coq-simple-io_1.10.0-1.debian.tar.xz               20-Nov-2024 10:07                2660
coq-simple-io_1.10.0-1.dsc                         20-Nov-2024 10:07                2170
coq-simple-io_1.10.0.orig.tar.gz                   20-Nov-2024 10:07               34396
coq-simple-io_1.7.0-1.debian.tar.xz                08-Jul-2022 07:03                1872
coq-simple-io_1.7.0-1.dsc                          08-Jul-2022 07:03                2146
coq-simple-io_1.7.0-2.debian.tar.xz                14-Aug-2022 07:54                1916
coq-simple-io_1.7.0-2.dsc                          14-Aug-2022 07:54                2146
coq-simple-io_1.7.0-3.debian.tar.xz                06-Sep-2022 09:09                1940
coq-simple-io_1.7.0-3.dsc                          06-Sep-2022 09:09                2146
coq-simple-io_1.7.0.orig.tar.gz                    08-Jul-2022 07:03               26183
coq-simple-io_1.8.0-1.debian.tar.xz                25-Sep-2022 16:20                1988
coq-simple-io_1.8.0-1.dsc                          25-Sep-2022 16:20                2146
coq-simple-io_1.8.0-2.debian.tar.xz                26-Jan-2023 12:44                2056
coq-simple-io_1.8.0-2.dsc                          26-Jan-2023 12:44                2151
coq-simple-io_1.8.0-3.debian.tar.xz                13-Jun-2023 05:20                2172
coq-simple-io_1.8.0-3.dsc                          13-Jun-2023 05:20                2151
coq-simple-io_1.8.0-4.debian.tar.xz                22-Dec-2023 11:07                2380
coq-simple-io_1.8.0-4.dsc                          22-Dec-2023 11:07                2151
coq-simple-io_1.8.0.orig.tar.gz                    25-Sep-2022 16:20               32939
coq-simple-io_1.9.0-1.debian.tar.xz                26-Apr-2024 14:06                2568
coq-simple-io_1.9.0-1.dsc                          26-Apr-2024 14:06                2163
coq-simple-io_1.9.0-2.debian.tar.xz                04-Aug-2024 05:19                2644
coq-simple-io_1.9.0-2.dsc                          04-Aug-2024 05:19                1936
coq-simple-io_1.9.0.orig.tar.gz                    26-Apr-2024 14:06               34147
libcoq-simple-io_1.7.0-2+b1_armhf.deb              18-Aug-2022 03:33               79156
libcoq-simple-io_1.7.0-2_armhf.deb                 17-Aug-2022 16:08               78824
libcoq-simple-io_1.7.0-3_armhf.deb                 17-Sep-2022 22:08               77280
libcoq-simple-io_1.8.0-1+b1_armhf.deb              03-Dec-2022 04:08               88500
libcoq-simple-io_1.8.0-1_armhf.deb                 02-Oct-2022 04:08               88236
libcoq-simple-io_1.8.0-2+b1_armhf.deb              03-Feb-2023 10:08               88504
libcoq-simple-io_1.8.0-2+b2_armhf.deb              21-May-2023 03:41               88440
libcoq-simple-io_1.8.0-2_armhf.deb                 30-Jan-2023 22:08               88312
libcoq-simple-io_1.8.0-3+b1_armhf.deb              20-Oct-2023 23:59               88820
libcoq-simple-io_1.8.0-3_armhf.deb                 14-Sep-2023 19:36               88468
libcoq-simple-io_1.8.0-4+b1_armhf.deb              24-Jan-2024 16:08               89300
libcoq-simple-io_1.8.0-4+b2_armhf.deb              18-Jun-2024 16:08               89400
libcoq-simple-io_1.9.0-1+b1_armhf.deb              25-Jun-2024 01:11              191816
libcoq-simple-io_1.9.0-1_armhf.deb                 24-Jun-2024 10:08              189964
libcoq-simple-io_1.9.0-2_armhf.deb                 05-Sep-2024 03:56              205012