Index of /ubuntu/pool/universe/s/ssreflect

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] libcoq-mathcomp-alge..> 2022-02-17 09:11  7.0M  
[   ] libcoq-mathcomp-alge..> 2023-02-16 19:34  7.0M  
[   ] libcoq-mathcomp-alge..> 2023-07-25 10:39  7.2M  
[   ] libcoq-mathcomp-alge..> 2023-11-15 17:52  7.2M  
[   ] libcoq-mathcomp-alge..> 2023-11-23 02:29  7.2M  
[   ] libcoq-mathcomp-alge..> 2023-12-23 03:56  9.1M  
[   ] libcoq-mathcomp-alge..> 2023-12-24 21:56   12M  
[   ] libcoq-mathcomp-alge..> 2024-01-28 01:59  9.8M  
[   ] libcoq-mathcomp-alge..> 2024-02-17 16:43  9.8M  
[   ] libcoq-mathcomp-alge..> 2024-03-24 21:38  9.8M  
[   ] libcoq-mathcomp-alge..> 2024-04-08 16:14  9.8M  
[   ] libcoq-mathcomp-alge..> 2024-05-03 13:19   11M  
[   ] libcoq-mathcomp-alge..> 2024-05-21 15:09   11M  
[   ] libcoq-mathcomp-alge..> 2024-06-05 20:57   11M  
[   ] libcoq-mathcomp-alge..> 2024-06-15 23:22   11M  
[   ] libcoq-mathcomp-alge..> 2024-08-03 22:20   11M  
[   ] libcoq-mathcomp-alge..> 2024-08-05 02:19   11M  
[   ] libcoq-mathcomp-alge..> 2024-08-14 22:31   11M  
[   ] libcoq-mathcomp-alge..> 2024-09-07 17:04   11M  
[   ] libcoq-mathcomp-alge..> 2024-09-12 21:31   11M  
[   ] libcoq-mathcomp-alge..> 2024-09-20 00:54   11M  
[   ] libcoq-mathcomp-alge..> 2024-11-20 02:41   11M  
[   ] libcoq-mathcomp-alge..> 2024-11-21 14:11   11M  
[   ] libcoq-mathcomp-char..> 2022-02-17 09:11  4.4M  
[   ] libcoq-mathcomp-char..> 2023-02-16 19:34  4.3M  
[   ] libcoq-mathcomp-char..> 2023-07-25 10:39  4.3M  
[   ] libcoq-mathcomp-char..> 2023-11-15 17:52  4.3M  
[   ] libcoq-mathcomp-char..> 2023-11-23 02:29  4.3M  
[   ] libcoq-mathcomp-char..> 2023-12-23 03:56  5.3M  
[   ] libcoq-mathcomp-char..> 2023-12-24 21:56  5.3M  
[   ] libcoq-mathcomp-char..> 2024-01-28 01:59  4.2M  
[   ] libcoq-mathcomp-char..> 2024-02-17 16:43  4.2M  
[   ] libcoq-mathcomp-char..> 2024-03-24 21:38  4.2M  
[   ] libcoq-mathcomp-char..> 2024-04-08 16:14  4.2M  
[   ] libcoq-mathcomp-char..> 2024-05-03 13:19  4.6M  
[   ] libcoq-mathcomp-char..> 2024-05-21 15:09  4.6M  
[   ] libcoq-mathcomp-char..> 2024-06-05 20:57  4.6M  
[   ] libcoq-mathcomp-char..> 2024-06-15 23:22  4.5M  
[   ] libcoq-mathcomp-char..> 2024-08-03 22:20  4.5M  
[   ] libcoq-mathcomp-char..> 2024-08-05 02:19  4.5M  
[   ] libcoq-mathcomp-char..> 2024-08-14 22:31  4.5M  
[   ] libcoq-mathcomp-char..> 2024-09-07 17:04  4.5M  
[   ] libcoq-mathcomp-char..> 2024-09-12 21:31  4.5M  
[   ] libcoq-mathcomp-char..> 2024-09-20 00:54  4.5M  
[   ] libcoq-mathcomp-char..> 2024-11-20 02:41  4.5M  
[   ] libcoq-mathcomp-char..> 2024-11-21 14:11  4.5M  
[   ] libcoq-mathcomp-fiel..> 2022-02-17 09:11  3.0M  
[   ] libcoq-mathcomp-fiel..> 2023-02-16 19:34  3.0M  
[   ] libcoq-mathcomp-fiel..> 2023-07-25 10:39  3.0M  
[   ] libcoq-mathcomp-fiel..> 2023-11-15 17:52  3.0M  
[   ] libcoq-mathcomp-fiel..> 2023-11-23 02:29  3.0M  
[   ] libcoq-mathcomp-fiel..> 2023-12-23 03:56  3.6M  
[   ] libcoq-mathcomp-fiel..> 2023-12-24 21:56  4.0M  
[   ] libcoq-mathcomp-fiel..> 2024-01-28 01:59  3.2M  
[   ] libcoq-mathcomp-fiel..> 2024-02-17 16:43  3.2M  
[   ] libcoq-mathcomp-fiel..> 2024-03-24 21:38  3.2M  
[   ] libcoq-mathcomp-fiel..> 2024-04-08 16:14  3.2M  
[   ] libcoq-mathcomp-fiel..> 2024-05-03 13:19  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-05-21 15:09  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-06-05 20:57  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-06-15 23:22  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-08-03 22:20  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-08-05 02:19  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-08-14 22:31  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-09-07 17:04  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-09-12 21:31  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-09-20 00:54  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-11-20 02:41  3.5M  
[   ] libcoq-mathcomp-fiel..> 2024-11-21 14:11  3.5M  
[   ] libcoq-mathcomp-fing..> 2022-02-17 09:11  2.0M  
[   ] libcoq-mathcomp-fing..> 2023-02-16 19:34  2.0M  
[   ] libcoq-mathcomp-fing..> 2023-07-25 10:39  2.0M  
[   ] libcoq-mathcomp-fing..> 2023-11-15 17:52  2.0M  
[   ] libcoq-mathcomp-fing..> 2023-11-23 02:29  2.0M  
[   ] libcoq-mathcomp-fing..> 2023-12-23 03:56  2.5M  
[   ] libcoq-mathcomp-fing..> 2023-12-24 21:56  2.7M  
[   ] libcoq-mathcomp-fing..> 2024-01-28 01:59  2.1M  
[   ] libcoq-mathcomp-fing..> 2024-02-17 16:43  2.1M  
[   ] libcoq-mathcomp-fing..> 2024-03-24 21:38  2.1M  
[   ] libcoq-mathcomp-fing..> 2024-04-08 16:14  2.1M  
[   ] libcoq-mathcomp-fing..> 2024-05-03 13:19  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-05-21 15:09  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-06-05 20:57  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-06-15 23:22  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-08-03 22:20  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-08-05 02:19  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-08-14 22:31  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-09-07 17:04  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-09-12 21:31  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-09-20 00:54  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-11-20 02:41  2.3M  
[   ] libcoq-mathcomp-fing..> 2024-11-21 14:11  2.3M  
[   ] libcoq-mathcomp-solv..> 2022-02-17 09:11  5.0M  
[   ] libcoq-mathcomp-solv..> 2023-02-16 19:34  4.9M  
[   ] libcoq-mathcomp-solv..> 2023-07-25 10:39  4.9M  
[   ] libcoq-mathcomp-solv..> 2023-11-15 17:52  4.9M  
[   ] libcoq-mathcomp-solv..> 2023-11-23 02:29  4.9M  
[   ] libcoq-mathcomp-solv..> 2023-12-23 03:56  6.1M  
[   ] libcoq-mathcomp-solv..> 2023-12-24 21:56  6.3M  
[   ] libcoq-mathcomp-solv..> 2024-01-28 01:59  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-02-17 16:43  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-03-24 21:38  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-04-08 16:14  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-05-03 13:19  5.1M  
[   ] libcoq-mathcomp-solv..> 2024-05-21 15:09  5.1M  
[   ] libcoq-mathcomp-solv..> 2024-06-05 20:57  5.1M  
[   ] libcoq-mathcomp-solv..> 2024-06-15 23:22  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-08-03 22:20  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-08-05 02:19  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-08-14 22:31  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-09-07 17:04  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-09-12 21:31  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-09-20 00:54  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-11-20 02:41  5.0M  
[   ] libcoq-mathcomp-solv..> 2024-11-21 14:11  5.1M  
[   ] libcoq-mathcomp-ssre..> 2022-02-17 09:11  4.5M  
[   ] libcoq-mathcomp-ssre..> 2023-02-16 19:34  4.5M  
[   ] libcoq-mathcomp-ssre..> 2023-07-25 10:39  4.7M  
[   ] libcoq-mathcomp-ssre..> 2023-11-15 17:52  4.7M  
[   ] libcoq-mathcomp-ssre..> 2023-11-23 02:29  4.7M  
[   ] libcoq-mathcomp-ssre..> 2023-12-23 03:56  6.0M  
[   ] libcoq-mathcomp-ssre..> 2023-12-24 21:56  8.0M  
[   ] libcoq-mathcomp-ssre..> 2024-01-28 01:59  6.3M  
[   ] libcoq-mathcomp-ssre..> 2024-02-17 16:43  6.3M  
[   ] libcoq-mathcomp-ssre..> 2024-03-24 21:38  6.3M  
[   ] libcoq-mathcomp-ssre..> 2024-04-08 16:14  6.3M  
[   ] libcoq-mathcomp-ssre..> 2024-05-03 13:19  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-05-21 15:09  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-06-05 20:57  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-06-15 23:22  6.5M  
[   ] libcoq-mathcomp-ssre..> 2024-08-03 22:20  6.5M  
[   ] libcoq-mathcomp-ssre..> 2024-08-05 02:19  6.5M  
[   ] libcoq-mathcomp-ssre..> 2024-08-14 22:31  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-09-07 17:04  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-09-12 21:31  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-09-20 00:54  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-11-20 02:41  6.6M  
[   ] libcoq-mathcomp-ssre..> 2024-11-21 14:11  6.3M  
[   ] libcoq-mathcomp_1.14..> 2022-02-17 09:11  2.5M  
[   ] libcoq-mathcomp_1.15..> 2023-02-16 19:34  2.5M  
[   ] libcoq-mathcomp_1.17..> 2023-07-25 10:39  2.6M  
[   ] libcoq-mathcomp_1.17..> 2023-11-15 17:52  2.6M  
[   ] libcoq-mathcomp_1.17..> 2023-11-23 02:29  2.6M  
[   ] libcoq-mathcomp_1.17..> 2023-12-23 03:56  3.7M  
[   ] libcoq-mathcomp_2.1...> 2023-12-24 21:56  4.0M  
[   ] libcoq-mathcomp_2.1...> 2024-01-28 01:59  2.4M  
[   ] libcoq-mathcomp_2.1...> 2024-02-17 16:43  2.4M  
[   ] libcoq-mathcomp_2.1...> 2024-03-24 21:38  2.4M  
[   ] libcoq-mathcomp_2.1...> 2024-04-08 16:14  2.4M  
[   ] libcoq-mathcomp_2.2...> 2024-05-03 13:19  2.4M  
[   ] libcoq-mathcomp_2.2...> 2024-05-21 15:09  2.4M  
[   ] libcoq-mathcomp_2.2...> 2024-06-05 20:57  2.4M  
[   ] libcoq-mathcomp_2.2...> 2024-06-15 23:22  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-08-03 22:20  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-08-05 02:19  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-08-14 22:31  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-09-07 17:04  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-09-12 21:31  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-09-20 00:54  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-11-20 02:41  2.3M  
[   ] libcoq-mathcomp_2.2...> 2024-11-21 14:11  2.3M  
[   ] libssreflect-coq_1.5..> 2015-11-05 06:58  1.1M  
[   ] libssreflect-coq_1.5..> 2014-01-21 09:53  1.1M  
[   ] libssreflect-coq_1.6..> 2017-10-28 20:03   23M  
[   ] libssreflect-coq_1.1..> 2020-03-19 12:23   25M  
[   ] libssreflect-ocaml-d..> 2015-11-05 06:58   63K  
[   ] libssreflect-ocaml-d..> 2015-11-05 06:59   63K  
[   ] libssreflect-ocaml-d..> 2014-01-21 09:53   60K  
[   ] libssreflect-ocaml-d..> 2014-01-21 09:54   60K  
[   ] libssreflect-ocaml-d..> 2017-10-28 20:03   59K  
[   ] libssreflect-ocaml-d..> 2017-10-28 20:03   59K  
[   ] libssreflect-ocaml_1..> 2015-11-05 06:58  435K  
[   ] libssreflect-ocaml_1..> 2015-11-05 06:59  384K  
[   ] libssreflect-ocaml_1..> 2014-01-21 09:53  440K  
[   ] libssreflect-ocaml_1..> 2014-01-21 09:54  382K  
[   ] libssreflect-ocaml_1..> 2017-10-28 20:03  390K  
[   ] libssreflect-ocaml_1..> 2017-10-28 20:03  340K  
[   ] ssreflect_1.5-3build..> 2015-11-05 06:48   11K  
[TXT] ssreflect_1.5-3build..> 2015-11-05 06:48  1.9K  
[   ] ssreflect_1.5.orig.t..> 2014-04-26 16:12  213K  
[   ] ssreflect_1.5~rc1-3...> 2014-01-21 09:18   11K  
[TXT] ssreflect_1.5~rc1-3.dsc 2014-01-21 09:18  2.2K  
[   ] ssreflect_1.5~rc1.or..> 2013-12-06 21:23  199K  
[   ] ssreflect_1.6.1-3bui..> 2017-10-28 19:19   12K  
[TXT] ssreflect_1.6.1-3bui..> 2017-10-28 19:19  2.2K  
[   ] ssreflect_1.6.1.orig..> 2016-12-30 20:13  4.5M  
[   ] ssreflect_1.10.0+dfs..> 2020-03-19 11:48   12K  
[TXT] ssreflect_1.10.0+dfs..> 2020-03-19 11:48  2.1K  
[   ] ssreflect_1.10.0+dfs..> 2019-12-06 20:38  1.2M  
[   ] ssreflect_1.14.0-7.d..> 2022-02-17 09:10   12K  
[TXT] ssreflect_1.14.0-7.dsc  2022-02-17 09:10  2.5K  
[   ] ssreflect_1.14.0.ori..> 2022-01-25 02:34  1.3M  
[   ] ssreflect_1.15.0-1bu..> 2023-02-16 18:54   12K  
[TXT] ssreflect_1.15.0-1bu..> 2023-02-16 18:54  2.5K  
[   ] ssreflect_1.15.0.ori..> 2022-07-05 14:28  1.3M  
[   ] ssreflect_1.17.0-1bu..> 2023-07-25 09:29   12K  
[TXT] ssreflect_1.17.0-1bu..> 2023-07-25 09:29  2.5K  
[   ] ssreflect_1.17.0-1bu..> 2023-11-15 16:59   12K  
[TXT] ssreflect_1.17.0-1bu..> 2023-11-15 16:59  2.5K  
[   ] ssreflect_1.17.0-1bu..> 2023-11-23 01:59   12K  
[TXT] ssreflect_1.17.0-1bu..> 2023-11-23 01:59  2.5K  
[   ] ssreflect_1.17.0-1bu..> 2023-12-23 03:12   12K  
[TXT] ssreflect_1.17.0-1bu..> 2023-12-23 03:12  2.5K  
[   ] ssreflect_1.17.0.ori..> 2023-06-14 08:29  1.3M  
[   ] ssreflect_2.1.0-1.de..> 2023-12-24 20:26   12K  
[TXT] ssreflect_2.1.0-1.dsc   2023-12-24 20:26  2.6K  
[   ] ssreflect_2.1.0-1bui..> 2024-01-28 01:19   12K  
[TXT] ssreflect_2.1.0-1bui..> 2024-01-28 01:19  2.6K  
[   ] ssreflect_2.1.0-1bui..> 2024-02-17 15:17   12K  
[TXT] ssreflect_2.1.0-1bui..> 2024-02-17 15:17  2.6K  
[   ] ssreflect_2.1.0-1bui..> 2024-03-24 03:53   12K  
[TXT] ssreflect_2.1.0-1bui..> 2024-03-24 03:53  2.7K  
[   ] ssreflect_2.1.0-1bui..> 2024-04-01 08:44   13K  
[TXT] ssreflect_2.1.0-1bui..> 2024-04-01 08:44  2.6K  
[   ] ssreflect_2.1.0-1bui..> 2024-05-02 23:28   13K  
[TXT] ssreflect_2.1.0-1bui..> 2024-05-02 23:28  2.6K  
[   ] ssreflect_2.1.0.orig..> 2023-12-24 20:26  1.8M  
[   ] ssreflect_2.2.0-1.de..> 2024-05-03 05:35   12K  
[TXT] ssreflect_2.2.0-1.dsc   2024-05-03 05:35  2.6K  
[   ] ssreflect_2.2.0-1bui..> 2024-05-21 14:24   12K  
[TXT] ssreflect_2.2.0-1bui..> 2024-05-21 14:24  2.6K  
[   ] ssreflect_2.2.0-1bui..> 2024-06-05 20:18   12K  
[TXT] ssreflect_2.2.0-1bui..> 2024-06-05 20:18  2.6K  
[   ] ssreflect_2.2.0-1bui..> 2024-06-15 17:43   12K  
[TXT] ssreflect_2.2.0-1bui..> 2024-06-15 17:43  2.6K  
[   ] ssreflect_2.2.0-2.de..> 2024-08-03 21:21   12K  
[TXT] ssreflect_2.2.0-2.dsc   2024-08-03 21:21  2.3K  
[   ] ssreflect_2.2.0-2bui..> 2024-08-05 01:28   12K  
[TXT] ssreflect_2.2.0-2bui..> 2024-08-05 01:28  2.6K  
[   ] ssreflect_2.2.0-2bui..> 2024-08-09 16:49   12K  
[TXT] ssreflect_2.2.0-2bui..> 2024-08-09 16:49  2.6K  
[   ] ssreflect_2.2.0-2bui..> 2024-08-12 11:44   12K  
[TXT] ssreflect_2.2.0-2bui..> 2024-08-12 11:44  2.6K  
[   ] ssreflect_2.2.0-2bui..> 2024-09-07 10:08   12K  
[TXT] ssreflect_2.2.0-2bui..> 2024-09-07 10:08  2.6K  
[   ] ssreflect_2.2.0-2bui..> 2024-09-12 20:30   12K  
[TXT] ssreflect_2.2.0-2bui..> 2024-09-12 20:30  2.6K  
[   ] ssreflect_2.2.0-2bui..> 2024-09-17 18:51   13K  
[TXT] ssreflect_2.2.0-2bui..> 2024-09-17 18:51  2.6K  
[   ] ssreflect_2.2.0-2bui..> 2024-11-20 01:45   13K  
[TXT] ssreflect_2.2.0-2bui..> 2024-11-20 01:45  2.6K  
[   ] ssreflect_2.2.0-2bui..> 2024-11-21 13:15   13K  
[TXT] ssreflect_2.2.0-2bui..> 2024-11-21 13:15  2.6K  
[   ] ssreflect_2.2.0.orig..> 2024-05-03 05:35  1.8M