Skip to content

Historical archive
Compare
Choose a tag to compare
@gares gares released this 03 Jan 22:10
· 2295 commits to master since this release
archive
fc84c27

This tags is for the first commit on github. The attached artifacts are the tarballs released before that.

Mar 18  2008 ssreflect-1.1.tgz
Aug 14  2009 ssreflect-1.2.tgz
Mar 25  2011 ssreflect-1.3pl1.tar.gz
Nov 21  2011 ssreflect-1.3pl2.tar.gz
May 14  2012 ssreflect-1.3pl3.tar.gz
May 14  2012 ssreflect-1.3pl4.tar.gz
Mar 11  2011 ssreflect-1.3.tar.gz
Sep  3  2012 ssreflect-1.4-coq8.3pl4-rc.tar.gz
Sep  5  2012 ssreflect-1.4-coq8.3pl4.tar.gz
Sep  3  2012 ssreflect-1.4-coq8.4-rc.tar.gz
Sep  5  2012 ssreflect-1.4-coq8.4.tar.gz
Sep  5  2012 ssreflect-1.4-doc.tar.gz
Jan 15  2015 ssreflect-1.5.coq85beta1.tar.gz
Jan 15  2015 mathcomp-1.5.coq85beta1.tar.gz
Apr 20  2015 ssreflect-1.5.coq85beta2.tar.gz
Apr 20  2015 mathcomp-1.5.coq85beta2.tar.gz
Aug  5  2013 ssreflect-1.5rc1.tar.gz
Aug  5  2013 mathcomp-1.5rc1.tar.gz
Mar 11  2014 ssreflect-1.5.tar.gz
Mar 11  2014 mathcomp-1.5.tar.gz
Assets 22
Loading