Index of /ubuntu/pool/universe/m/mcl

 Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 libmcl-ocaml-dev_14-137+ds-9build2_amd64.deb 2022-01-25 19:31  250K  
 mcl-doc_12-135-2_all.deb                     2013-07-10 01:28  1.3M  
 mcl-doc_14-137+ds-1_all.deb                  2018-01-22 18:33  524K  
 mcl-doc_14-137+ds-4_all.deb                  2019-07-12 02:00  847K  
 mcl-doc_14-137+ds-9build2_all.deb            2022-01-25 19:31  2.1M  
 mcl-doc_14-137-1_all.deb                     2014-05-21 07:38  549K  
 mcl-doc_22-282+ds-2_all.deb                  2022-11-16 18:39  2.0M  
 mcl-doc_22-282+ds-4_all.deb                  2025-01-26 01:01  2.0M  
 mcl_12-135-2.debian.tar.gz                   2013-07-10 01:13   12K  
 mcl_12-135-2.dsc                             2013-07-10 01:13  1.3K  
 mcl_12-135-2_amd64.deb                       2013-07-10 01:28  1.6M  
 mcl_12-135-2_i386.deb                        2013-07-10 01:28  1.5M  
 mcl_12-135.orig.tar.gz                       2013-01-28 00:33  2.8M  
 mcl_14-137+ds-1.debian.tar.xz                2018-01-22 18:20   16K  
 mcl_14-137+ds-1.dsc                          2018-01-22 18:20  2.0K  
 mcl_14-137+ds-1_amd64.deb                    2018-01-22 18:33  581K  
 mcl_14-137+ds-1_i386.deb                     2018-01-22 18:34  591K  
 mcl_14-137+ds-4.debian.tar.xz                2019-07-12 02:00  339K  
 mcl_14-137+ds-4.dsc                          2019-07-12 02:00  1.9K  
 mcl_14-137+ds-4_amd64.deb                    2019-07-12 02:00  584K  
 mcl_14-137+ds-9build2.debian.tar.xz          2022-01-25 19:31  375K  
 mcl_14-137+ds-9build2.dsc                    2022-01-25 19:31  2.2K  
 mcl_14-137+ds-9build2_amd64.deb              2022-01-25 19:31  613K  
 mcl_14-137+ds.orig.tar.xz                    2018-01-22 18:20  1.6M  
 mcl_14-137-1.debian.tar.xz                   2014-05-21 07:13   10K  
 mcl_14-137-1.dsc                             2014-05-21 07:13  2.0K  
 mcl_14-137-1_amd64.deb                       2014-05-21 07:38  532K  
 mcl_14-137-1_i386.deb                        2014-05-21 07:38  510K  
 mcl_14-137.orig.tar.gz                       2014-05-21 07:13  2.9M  
 mcl_22-282+ds-2.debian.tar.xz                2022-11-16 18:39  376K  
 mcl_22-282+ds-2.dsc                          2022-11-16 18:39  1.4K  
 mcl_22-282+ds-2_amd64.deb                    2022-11-16 18:39  537K  
 mcl_22-282+ds-4.debian.tar.xz                2025-01-26 01:01  377K  
 mcl_22-282+ds-4.dsc                          2025-01-26 01:01  2.0K  
 mcl_22-282+ds-4_amd64.deb                    2025-01-26 01:01  635K  
 mcl_22-282+ds.orig.tar.xz                    2022-11-06 04:06  1.5M