Files
gentoo/sci-mathematics
Sergei Trofimovich 6280ade282 sci-mathematics/agda: set USE=-cpphs by default
USE=cpphs is not compatible to profiling builds.

Reported-by: Toralf Förster
Closes: https://bugs.gentoo.org/761805
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
2020-12-27 10:17:24 +00:00
..
2020-10-13 23:53:49 +11:00
2020-12-07 11:19:36 +02:00
2020-12-16 20:18:15 -05:00