gnu: tintin++: Update to 2.01.7.

* gnu/packages/games.scm (tintin++): Update to 2.01.7.
This commit is contained in:
Tobias Geerinckx-Rice 2019-02-16 19:34:42 +01:00
parent 93fee74acf
commit fffe48701a
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 11 additions and 10 deletions

View File

@ -3428,15 +3428,16 @@ the GNU GPL.")
(define-public tintin++
(package
(name "tintin++")
(version "2.01.5")
(source (origin
(version "2.01.7")
(source
(origin
(method url-fetch)
(uri (string-append "mirror://sourceforge/tintin"
"/TinTin++ Source Code/" version
"/tintin" "-" version ".tar.gz"))
(uri (string-append "mirror://sourceforge/tintin/TinTin++ Source Code/"
(version-major+minor version)
"/tintin-" version ".tar.gz"))
(sha256
(base32
"0pnnbcm96xbj69358568rpvp164rjmcvhnnzs7nvj062pi2hqcxx"))))
"033n84pyxml3n3gd4dq0497n9w331bnrr1gppwipz9ashmq8jz7v"))))
(inputs
`(("gnutls" ,gnutls)
("pcre" ,pcre)