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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ssreflect_1.3pl2.orig.tar.gz 815K2011-Dec-05 12:07
ssreflect_1.3pl2-2build1.debian.tar.gz 13K2012-Jan-08 15:33
ssreflect_1.3pl2-2build1.dsc 22722012-Jan-08 15:33
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb 381K2012-Jan-08 15:33
libssreflect-ocaml_1.3pl2-2build1_amd64.deb 460K2012-Jan-08 15:33
libssreflect-coq_1.3pl2-2build1_all.deb 15M2012-Jan-08 16:03
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb 375K2012-Jan-08 16:03
libssreflect-ocaml_1.3pl2-2build1_i386.deb 387K2012-Jan-08 16:03
ssreflect_1.5~rc1.orig.tar.gz 199K2013-Dec-06 17:23
ssreflect_1.5~rc1-3.debian.tar.xz 11K2014-Jan-21 05:18
ssreflect_1.5~rc1-3.dsc 22402014-Jan-21 05:18
libssreflect-coq_1.5~rc1-3_all.deb 1M2014-Jan-21 05:53
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb 60K2014-Jan-21 05:53
libssreflect-ocaml_1.5~rc1-3_amd64.deb 440K2014-Jan-21 05:53
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb 60K2014-Jan-21 05:54
libssreflect-ocaml_1.5~rc1-3_i386.deb 382K2014-Jan-21 05:54
ssreflect_1.5.orig.tar.gz 213K2014-Apr-26 12:12
ssreflect_1.5-3build1.dsc 19112015-Nov-05 03:48
ssreflect_1.5-3build1.debian.tar.xz 11K2015-Nov-05 03:48
libssreflect-coq_1.5-3build1_all.deb 1M2015-Nov-05 03:58
libssreflect-ocaml-dev_1.5-3build1_amd64.deb 63K2015-Nov-05 03:58
libssreflect-ocaml_1.5-3build1_amd64.deb 435K2015-Nov-05 03:58
libssreflect-ocaml-dev_1.5-3build1_i386.deb 63K2015-Nov-05 03:59
libssreflect-ocaml_1.5-3build1_i386.deb 384K2015-Nov-05 03:59
ssreflect_1.6.1.orig.tar.gz 4M2016-Dec-30 17:13
ssreflect_1.6.1-2build4.debian.tar.xz 12K2017-Aug-31 01:23
ssreflect_1.6.1-2build4.dsc 20322017-Aug-31 01:24
libssreflect-ocaml_1.6.1-2build4_i386.deb 335K2017-Aug-31 01:53
libssreflect-ocaml-dev_1.6.1-2build4_i386.deb 59K2017-Aug-31 01:53
libssreflect-ocaml-dev_1.6.1-2build4_amd64.deb 59K2017-Aug-31 02:03
libssreflect-ocaml_1.6.1-2build4_amd64.deb 387K2017-Aug-31 02:03
libssreflect-coq_1.6.1-2build4_all.deb 23M2017-Aug-31 02:03
ssreflect_1.6.1-3build1.debian.tar.xz 12K2017-Oct-28 16:19
ssreflect_1.6.1-3build1.dsc 22812017-Oct-28 16:19
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb 59K2017-Oct-28 17:03
libssreflect-ocaml_1.6.1-3build1_amd64.deb 390K2017-Oct-28 17:03
libssreflect-coq_1.6.1-3build1_all.deb 23M2017-Oct-28 17:03
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb 59K2017-Oct-28 17:03
libssreflect-ocaml_1.6.1-3build1_i386.deb 340K2017-Oct-28 17:03