Skip to Content.
Sympa Menu

ssreflect - Re: [ssreflect] Downloads page missing ssr 1.5?

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] Downloads page missing ssr 1.5?


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page