Logo
Explore Help
Register Sign In
gentoo-mirror/gentoo
1
0
Fork 0
You've already forked gentoo
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 09:07:26 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/app-emacs/proofgeneral
History
Maciej Barć 6941dbd2a7
app-emacs/proofgeneral: replace "which" with "command -v"
Bug: https://github.com/ProofGeneral/PG/pull/812
Closes: https://bugs.gentoo.org/950240
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-03-11 19:55:58 +01:00
..
files
…
Manifest
…
metadata.xml
…
proofgeneral-4.5.ebuild
…
Powered by Gitea Version: 1.23.8 Page: 1068ms Template: 2ms
English
Deutsch English español français italiano latviešu Nederlands polski Português de Portugal português do Brasil suomi svenska Türkçe čeština български русский српски Українська 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API