me/guix
Archived
1
0
Fork 0
Code Activity

gnu: coq-coquelicot: Truncate home-page.

Browse source 
* gnu/packages/coq.scm (coq-coquelicot)[home-page]: Truncate home-page.
This commit is contained in:
Brett Gilio 2020-01-06 01:40:27 -06:00
parent d481db8baf
commit c022809641
No known key found for this signature in database
GPG key ID: 672243C4A03F0EEE
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/coq.scm
View file

@ -404,7 +404,7 @@ part of the distribution.")
(lambda _ (invoke "./remake" "check"))) (lambda _ (invoke "./remake" "check")))
(replace 'install (replace 'install
(lambda _ (invoke "./remake" "install")))))) (lambda _ (invoke "./remake" "install"))))))
(home-page "http://coquelicot.saclay.inria.fr/index.html") (home-page "http://coquelicot.saclay.inria.fr")
(synopsis "Coq library for Reals") (synopsis "Coq library for Reals")
(description "Coquelicot is an easier way of writing formulas and theorem (description "Coquelicot is an easier way of writing formulas and theorem
statements, achieved by relying on total functions in place of dependent types statements, achieved by relying on total functions in place of dependent types