summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/mono-mdoc-timestamping.patch
diff options
context:
space:
mode:
authorJakub Kądziołka <kuba@kadziolka.net>2020-06-08 01:51:52 +0200
committerJakub Kądziołka <kuba@kadziolka.net>2020-07-10 23:03:40 +0200
commit16e34f7598574bd79aee646deaebfeb878ef7f6e (patch)
tree08caa08d14c4f7f71d59e8fc6b0e82ff0b91db6c /gnu/packages/patches/mono-mdoc-timestamping.patch
parentcc7b170db2e1ab4c9d9f30403bb2aca1cc7fb05e (diff)
gnu: flint: Update to 2.6.0.
* gnu/packages/algebra.scm (flint): Update to 2.6.0. * gnu/packages/patches/flint-ldconfig.patch: Remove the patch as it got applied upstream. * gnu/local.mk (dist_patch_DATA): Deregister the removed file.
Diffstat (limited to 'gnu/packages/patches/mono-mdoc-timestamping.patch')
0 files changed, 0 insertions, 0 deletions