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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 ssreflect_1.5~rc1.or..> 06-Dec-2013 17:23  199K  
 ssreflect_1.5~rc1-3...> 21-Jan-2014 05:18   11K  
 ssreflect_1.5~rc1-3.dsc 21-Jan-2014 05:18  2.2K  
 libssreflect-coq_1.5..> 21-Jan-2014 05:53  1.1M  
 libssreflect-ocaml-d..> 21-Jan-2014 05:53   60K  
 libssreflect-ocaml_1..> 21-Jan-2014 05:53  440K  
 libssreflect-ocaml-d..> 21-Jan-2014 05:54   60K  
 libssreflect-ocaml_1..> 21-Jan-2014 05:54  382K  
 ssreflect_1.5.orig.t..> 26-Apr-2014 12:12  213K  
 ssreflect_1.5-3build..> 05-Nov-2015 03:48  1.9K  
 ssreflect_1.5-3build..> 05-Nov-2015 03:48   11K  
 libssreflect-coq_1.5..> 05-Nov-2015 03:58  1.1M  
 libssreflect-ocaml-d..> 05-Nov-2015 03:58   63K  
 libssreflect-ocaml_1..> 05-Nov-2015 03:58  435K  
 libssreflect-ocaml-d..> 05-Nov-2015 03:59   63K  
 libssreflect-ocaml_1..> 05-Nov-2015 03:59  384K  
 ssreflect_1.6.1.orig..> 30-Dec-2016 17:13  4.5M  
 ssreflect_1.6.1-3bui..> 28-Oct-2017 16:19   12K  
 ssreflect_1.6.1-3bui..> 28-Oct-2017 16:19  2.2K  
 libssreflect-ocaml-d..> 28-Oct-2017 17:03   59K  
 libssreflect-ocaml_1..> 28-Oct-2017 17:03  390K  
 libssreflect-coq_1.6..> 28-Oct-2017 17:03   23M  
 libssreflect-ocaml-d..> 28-Oct-2017 17:03   59K  
 libssreflect-ocaml_1..> 28-Oct-2017 17:03  340K  
 ssreflect_1.10.0+dfs..> 06-Dec-2019 17:38  1.2M  
 ssreflect_1.10.0+dfs..> 19-Mar-2020 08:48   12K  
 ssreflect_1.10.0+dfs..> 19-Mar-2020 08:48  2.1K  
 libssreflect-coq_1.1..> 19-Mar-2020 09:23   25M  
 ssreflect_1.14.0.ori..> 24-Jan-2022 23:34  1.3M  
 ssreflect_1.14.0-7.dsc  17-Feb-2022 06:10  2.5K  
 ssreflect_1.14.0-7.d..> 17-Feb-2022 06:10   12K  
 libcoq-mathcomp-fing..> 17-Feb-2022 06:11  2.0M  
 libcoq-mathcomp-solv..> 17-Feb-2022 06:11  5.0M  
 libcoq-mathcomp-ssre..> 17-Feb-2022 06:11  4.5M  
 libcoq-mathcomp-alge..> 17-Feb-2022 06:11  7.0M  
 libcoq-mathcomp_1.14..> 17-Feb-2022 06:11  2.5M  
 libcoq-mathcomp-char..> 17-Feb-2022 06:11  4.4M  
 libcoq-mathcomp-fiel..> 17-Feb-2022 06:11  3.0M  
 ssreflect_1.15.0.ori..> 05-Jul-2022 11:28  1.3M  
 ssreflect_1.15.0-1bu..> 16-Feb-2023 15:54   12K  
 ssreflect_1.15.0-1bu..> 16-Feb-2023 15:54  2.5K  
 libcoq-mathcomp-char..> 16-Feb-2023 16:34  4.3M  
 libcoq-mathcomp-fiel..> 16-Feb-2023 16:34  3.0M  
 libcoq-mathcomp-ssre..> 16-Feb-2023 16:34  4.5M  
 libcoq-mathcomp-alge..> 16-Feb-2023 16:34  7.0M  
 libcoq-mathcomp-fing..> 16-Feb-2023 16:34  2.0M  
 libcoq-mathcomp_1.15..> 16-Feb-2023 16:34  2.5M  
 libcoq-mathcomp-solv..> 16-Feb-2023 16:34  4.9M  
 ssreflect_1.17.0.ori..> 14-Jun-2023 05:29  1.3M  
 ssreflect_1.17.0-1bu..> 25-Jul-2023 06:29   12K  
 ssreflect_1.17.0-1bu..> 25-Jul-2023 06:29  2.5K  
 libcoq-mathcomp-alge..> 25-Jul-2023 07:39  7.2M  
 libcoq-mathcomp_1.17..> 25-Jul-2023 07:39  2.6M  
 libcoq-mathcomp-ssre..> 25-Jul-2023 07:39  4.7M  
 libcoq-mathcomp-fiel..> 25-Jul-2023 07:39  3.0M  
 libcoq-mathcomp-char..> 25-Jul-2023 07:39  4.3M  
 libcoq-mathcomp-solv..> 25-Jul-2023 07:39  4.9M  
 libcoq-mathcomp-fing..> 25-Jul-2023 07:39  2.0M  
 ssreflect_2.1.0.orig..> 24-Dec-2023 17:26  1.8M  
 ssreflect_2.1.0-1bui..> 01-Apr-2024 05:44   13K  
 ssreflect_2.1.0-1bui..> 01-Apr-2024 05:44  2.6K  
 libcoq-mathcomp-ssre..> 08-Apr-2024 13:14  6.3M  
 libcoq-mathcomp-solv..> 08-Apr-2024 13:14  5.0M  
 libcoq-mathcomp-fing..> 08-Apr-2024 13:14  2.1M  
 libcoq-mathcomp-fiel..> 08-Apr-2024 13:14  3.2M  
 libcoq-mathcomp-char..> 08-Apr-2024 13:14  4.2M  
 libcoq-mathcomp-alge..> 08-Apr-2024 13:14  9.8M  
 libcoq-mathcomp_2.1...> 08-Apr-2024 13:14  2.4M  
 ssreflect_2.2.0.orig..> 03-May-2024 02:35  1.8M  
 ssreflect_2.2.0-2bui..> 17-Sep-2024 15:51   13K  
 ssreflect_2.2.0-2bui..> 17-Sep-2024 15:51  2.6K  
 libcoq-mathcomp-ssre..> 19-Sep-2024 21:54  6.6M  
 libcoq-mathcomp-solv..> 19-Sep-2024 21:54  5.0M  
 libcoq-mathcomp-fing..> 19-Sep-2024 21:54  2.3M  
 libcoq-mathcomp-fiel..> 19-Sep-2024 21:54  3.5M  
 libcoq-mathcomp-char..> 19-Sep-2024 21:54  4.5M  
 libcoq-mathcomp-alge..> 19-Sep-2024 21:54   11M  
 libcoq-mathcomp_2.2...> 19-Sep-2024 21:54  2.3M