Subject: Ssreflect Users Discussion List
List archive
- From: Catalin Hritcu <>
- To: Enrico Tassi <>
- Cc:
- Subject: Re: [ssreflect] Downloads page missing ssr 1.5?
- Date: Fri, 12 Sep 2014 15:21:19 +0200
Dear Enrico,
This is still broken on gforge / official web page and confusing lots of
people.
Regards,
Catalin
On Tue, Aug 19, 2014 at 10:03 PM, Enrico Tassi <> wrote:
> On Tue, Aug 19, 2014 at 05:45:43PM +0100, Jason Gross wrote:
>> 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
>
> You are right, last release was not pushed to the gforge.
>
> Here you can find all the relevant files:
>
> http://ssr.msr-inria.inria.fr/FTP/
>
> Best,
> --
> Enrico Tassi
- Re: [ssreflect] Downloads page missing ssr 1.5?, Catalin Hritcu, 09/12/2014
- Re: [ssreflect] Downloads page missing ssr 1.5?, Enrico Tassi, 09/12/2014
Archive powered by MHonArc 2.6.18.