Subject: Ssreflect Users Discussion List
List archive
- From: Jason Gross <>
- To: ssreflect <>
- Subject: [ssreflect] Downloads page missing ssr 1.5?
- Date: Tue, 19 Aug 2014 17:45:43 +0100
Hi,
When I visit http://www.msr-inria.fr/projects/mathematical-components-2/ and click to download the latest version of the code, I get sent to http://gforge.inria.fr/frs/?group_id=401, which seems to have no listing for ssr 1.5. It also gives a 404 for the latest .zip file (http://gforge.inria.fr/frs/download.php/latestzip/2610/ssreflect-latest.zip). Is this an oversight?
-Jason
- [ssreflect] Downloads page missing ssr 1.5?, Jason Gross, 08/19/2014
- Re: [ssreflect] Downloads page missing ssr 1.5?, Enrico Tassi, 08/19/2014
Archive powered by MHonArc 2.6.18.