diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-30 00:29:24 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-30 03:54:02 +0900 |
commit | 019956fcc05c4da494f144758fe89e6679b2b5e9 (patch) | |
tree | 52246c874c229aed6b6a8bf0c916496642ab63ed /guix.scm | |
parent | 1ed56ef29ce80df850971fa01057496be86436e0 (diff) |
Change synopsis and description.
* Makefile.am,
guix.scm,
pre-inst-env.in
README.md: Change synopsis and description.
Diffstat (limited to 'guix.scm')
-rw-r--r-- | guix.scm | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,4 +1,4 @@ -;;; Guile-ACL2 --- A Compiler from ACL2 to Guile +;;; Guile-ACL2 --- Guile's ACL2 compiler ;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo> ;;; ;;; This file is part of Guile-ACL2. @@ -41,8 +41,9 @@ ("texinfo" ,texinfo))) (inputs `(("guile" ,guile-3.0))) - (synopsis "A Compiler from ACL2 to Guile") - (description "Guile-ACL2 is a compiler from ACL2 to Guile.") + (synopsis "Guile's ACL2 compiler") + (description "This package provides an implementation of Guile's ACL2 (A Computational +Logic for Applicative Common Lisp) compiler.") (home-page "https://git.tojo.tokyo/guile-acl2.git") (license license:gpl3+))) |