Opened 4 years ago

Closed 4 years ago

Last modified 4 years ago

#28021 closed defect (fixed)

Update m4ri SPKG.txt with new web page

Reported by: galois Owned by:
Priority: major Milestone: sage-8.9
Component: documentation Keywords: days101
Cc: Samuel Lelièvre Merged in:
Authors: Andreas Enge Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: f6a4005 (Commits, GitHub, GitLab) Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Samuel Lelièvre)

Andreas Enge (@enge) opened a merge request at

The server does not have a DNS entry any more.

Change History (4)

comment:1 Changed 4 years ago by Dima Pasechnik

Component: PLEASE CHANGEdocumentation
Description: modified (diff)
Reviewers: Dima Pasechnik
Status: needs_reviewpositive_review


comment:2 Changed 4 years ago by Samuel Lelièvre

Cc: Samuel Lelièvre added
Description: modified (diff)
Keywords: days101 added
Summary: MR18: Update SPKG.txt with new web page.Update m4ri SPKG.txt with new web page

comment:3 Changed 4 years ago by Volker Braun

Branch: u/galois/mrs/18/patch-1f6a400511c2876d9bf78e3c1e421f583825a19d2
Resolution: fixed
Status: positive_reviewclosed

comment:4 Changed 4 years ago by Samuel Lelièvre

Commit: f6a400511c2876d9bf78e3c1e421f583825a19d2

In addition, there is now a permanent redirection from to the source code repository at (thanks Andreas for reporting; thanks Harald for setting up the redirection).

Note: See TracTickets for help on using tickets.