guru/app-emacs/idris-mode/Manifest at dfb6f2926e59a10afe3255d324237ba538f80cbc - guru - Gitea: Git with a cup of tea

mirrors/guru

mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-09 15:13:31 -04:00

Files

Matt Smith 6ea474d300 app-emacs/idris-mode: Disable tests

Tests require Idris, which is not yet packaged.  Also fix the tarball name.

Closes: https://bugs.gentoo.org/796971
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt@offtopica.uk>

2021-06-20 18:01:38 +01:00

2 lines

306 B

Plaintext

Raw Blame History

DIST idris-mode-1.0.tar.gz 89451 BLAKE2B fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 SHA512 f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77