Put in earplugs
This commit is contained in:
parent
e2ed32fdd4
commit
1f23f6bff1
1 changed files with 2 additions and 0 deletions
|
@ -370,6 +370,8 @@ documentation about the format, see :
|
||||||
(sha256
|
(sha256
|
||||||
(base32 "13mb862c20m1q7vjsa5lgqj3w6b0xhj8ckjyk524wrc4i0s1jzix"))))
|
(base32 "13mb862c20m1q7vjsa5lgqj3w6b0xhj8ckjyk524wrc4i0s1jzix"))))
|
||||||
(build-system dune-build-system)
|
(build-system dune-build-system)
|
||||||
|
(arguments
|
||||||
|
(#:tests? #f))
|
||||||
(home-page "http://gitlab.inria.fr/fpottier/menhir")
|
(home-page "http://gitlab.inria.fr/fpottier/menhir")
|
||||||
(synopsis "Runtime support library for parsers generated by Menhir")
|
(synopsis "Runtime support library for parsers generated by Menhir")
|
||||||
(description #f)
|
(description #f)
|
||||||
|
|
Loading…
Reference in a new issue