summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2021-11-26 13:48:46 +0100
committerMaciej Barć <xgqt@gentoo.org>2021-11-26 14:08:08 +0100
commit543a6431c5085b03105132bec3e24576fdf4bfd6 (patch)
tree1a65ae075afcfbf996c425f4af4d1119d8aeedcf /sci-mathematics/metamath/files
parentsci-mathematics/mathlib-tools: new package; add version 1.1.0 (diff)
downloadgentoo-543a6431c5085b03105132bec3e24576fdf4bfd6.tar.gz
gentoo-543a6431c5085b03105132bec3e24576fdf4bfd6.tar.bz2
gentoo-543a6431c5085b03105132bec3e24576fdf4bfd6.zip
sci-mathematics/metamath: change patch filename
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/metamath/files')
-rw-r--r--sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch (renamed from sci-mathematics/metamath/files/dont_force_optimize.patch)0
1 files changed, 0 insertions, 0 deletions
diff --git a/sci-mathematics/metamath/files/dont_force_optimize.patch b/sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch
index 548b0042ecef..548b0042ecef 100644
--- a/sci-mathematics/metamath/files/dont_force_optimize.patch
+++ b/sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch