HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 459e096) | patch
gnu: mumps: Change "5.1.2" to "5.2.1" in library file names.
authorMaurice Bremond <Maurice.Bremond@inria.fr>
Thu, 13 Feb 2020 10:50:55 +0000 (11:50 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 14 Feb 2020 22:01:47 +0000 (23:01 +0100)
commit8cd2a395c7f2b4a607101ba2c9a3b8e47477e5a8
tree0689caa8660e72fe7cebc5a480eb1fd301e1fe30tree | snapshot (tar.gz zip)
parent459e0967705945bf6b5861598202aefef27451cdcommit | diff
gnu: mumps: Change "5.1.2" to "5.2.1" in library file names.

* gnu/packages/patches/mumps-shared-libseq.patch,
gnu/packages/patches/mumps-shared-mumps.patch,
gnu/packages/patches/mumps-shared-pord.patch: Replace "5.1.2" with
"5.2.1" in file names.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
gnu/packages/patches/mumps-shared-libseq.patch diff | blob | blame | history
gnu/packages/patches/mumps-shared-mumps.patch diff | blob | blame | history
gnu/packages/patches/mumps-shared-pord.patch diff | blob | blame | history
jackhill's copy of GNU Guix: https://guix.gnu.org/