TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

gnu: coq-interval: Update home-page.

Browse source 
* gnu/packages/coq.scm (coq-interval)[home-page]: Update.
This commit is contained in:
Julien Lepiller 2021-11-20 00:37:46 +01:00
parent d326fdb7af
commit 27c701a17b
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
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

@ -476,7 +476,7 @@ (define-public coq-interval
(lambda _ (invoke "./remake" "check"))) (lambda _ (invoke "./remake" "check")))
(replace 'install (replace 'install
(lambda _ (invoke "./remake" "install")))))) (lambda _ (invoke "./remake" "install"))))))
(home-page "http://coq-interval.gforge.inria.fr/") (home-page "https://coqinterval.gitlabpages.inria.fr/")
(synopsis "Coq tactics to simplify inequality proofs") (synopsis "Coq tactics to simplify inequality proofs")
(description "Interval provides vernacular files containing tactics for (description "Interval provides vernacular files containing tactics for
simplifying the proofs of inequalities on expressions of real numbers for the simplifying the proofs of inequalities on expressions of real numbers for the