Put in earplugs

This commit is contained in:
nik gaffney 2024-01-04 20:53:40 +01:00
parent d802e10cad
commit b6b245201d
Signed by: nik
GPG key ID: 989F5E6EDB478160

View file

@ -371,7 +371,7 @@ documentation about the format, see :
(base32 "13mb862c20m1q7vjsa5lgqj3w6b0xhj8ckjyk524wrc4i0s1jzix"))))
(build-system dune-build-system)
(arguments
(#:tests? #f))
`(#:tests? #f))
(home-page "http://gitlab.inria.fr/fpottier/menhir")
(synopsis "Runtime support library for parsers generated by Menhir")
(description #f)