Index of /caixamagica/pool/universe/s/ssreflect
Name
Last modified
Size
Description
Parent Directory
-
ssreflect_1.5.orig.tar.gz
2015-01-04 16:10
213K
ssreflect_1.5-2.dsc
2015-01-04 16:10
2.2K
ssreflect_1.5-2.debian.tar.xz
2015-01-04 16:10
11K
libssreflect-ocaml-dev_1.5-2_amd64.deb
2014-12-28 00:01
62K
libssreflect-ocaml_1.5-2_amd64.deb
2014-12-28 00:01
461K
libssreflect-ocaml-dev_1.5-2_i386.deb
2014-12-16 14:58
62K
libssreflect-coq_1.5-2_all.deb
2014-12-16 14:58
1.1M
libssreflect-ocaml_1.5-2_i386.deb
2014-12-16 14:58
399K
libssreflect-ocaml_1.5~rc1-3_amd64.deb
2014-04-12 06:49
440K
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb
2014-04-12 06:49
60K
libssreflect-coq_1.5~rc1-3_all.deb
2014-04-01 17:27
1.1M
libssreflect-ocaml_1.5~rc1-3_i386.deb
2014-04-01 17:27
382K
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb
2014-04-01 17:27
60K
libssreflect-ocaml-dev_1.4-2_amd64.deb
2013-10-03 04:08
81K
libssreflect-ocaml_1.4-2_amd64.deb
2013-10-03 04:08
566K
libssreflect-coq_1.4-2_all.deb
2013-09-23 14:27
24M
libssreflect-ocaml_1.4-2_i386.deb
2013-09-23 14:27
477K
libssreflect-ocaml-dev_1.4-2_i386.deb
2013-09-23 14:27
80K
libssreflect-ocaml_1.3pl4-1_amd64.deb
2012-10-05 15:01
460K
libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
2012-10-05 15:00
381K
libssreflect-ocaml_1.3pl4-1_i386.deb
2012-09-27 01:36
388K
libssreflect-ocaml-dev_1.3pl4-1_i386.deb
2012-09-27 01:36
378K
libssreflect-coq_1.3pl4-1_all.deb
2012-09-27 01:35
15M
ssreflect_1.3pl4.orig.tar.gz
2012-09-26 09:34
815K
ssreflect_1.3pl4-1.debian.tar.gz
2012-09-26 09:34
12K
ssreflect_1.3pl4-1.dsc
2012-09-26 09:34
2.2K
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb
2012-03-17 15:05
381K
libssreflect-ocaml_1.3pl2-2build1_amd64.deb
2012-03-17 15:05
460K
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb
2012-03-10 04:19
375K
libssreflect-ocaml_1.3pl2-2build1_i386.deb
2012-03-10 04:19
387K
libssreflect-coq_1.3pl2-2build1_all.deb
2012-03-10 04:19
15M
ssreflect_1.3pl2.orig.tar.gz
2012-03-09 09:44
815K
ssreflect_1.3pl2-2build1.dsc
2012-03-09 09:44
2.2K
ssreflect_1.3pl2-2build1.debian.tar.gz
2012-03-09 09:44
13K
libssreflect-ocaml-dev_1.3pl1-4build1_amd64.deb
2011-09-23 14:29
375K
libssreflect-ocaml_1.3pl1-4build1_amd64.deb
2011-09-23 14:29
453K
libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb
2011-09-23 14:28
367K
libssreflect-ocaml_1.3pl1-4build1_i386.deb
2011-09-23 14:28
381K
libssreflect-coq_1.3pl1-4build1_all.deb
2011-09-23 14:27
15M
ssreflect_1.3pl1-4build1.dsc
2011-09-23 14:27
1.5K
ssreflect_1.3pl1-4build1.debian.tar.gz
2011-09-23 14:27
12K
ssreflect_1.3pl1.orig.tar.gz
2011-08-17 19:37
809K
libssreflect-ocaml_1.2+dfsg-6_amd64.deb
2010-07-29 16:07
369K
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
2010-07-29 16:07
316K
libssreflect-ocaml_1.2+dfsg-6_i386.deb
2010-07-29 13:05
309K
libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb
2010-07-29 13:05
307K
libssreflect-coq_1.2+dfsg-6_all.deb
2010-07-29 13:05
3.5M
ssreflect_1.2+dfsg-6.dsc
2010-07-29 12:05
1.5K
ssreflect_1.2+dfsg-6.debian.tar.gz
2010-07-29 12:05
12K
ssreflect_1.2+dfsg.orig.tar.gz
2009-11-20 20:04
324K