Debian Patches
Status for mathcomp-algebra-tactics/1.2.7-4
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| mc2.6.0.patch | fix compilation with mathcomp 2.6.0 | Pierre Roux | yes |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| mc2.6.0.patch | fix compilation with mathcomp 2.6.0 | Pierre Roux | yes |