Skip to content
Snippets Groups Projects
Commit ea3d80e0 authored by Alice Brenon's avatar Alice Brenon
Browse files

Apply some guix automatic styling

parent d797a0d0
No related branches found
No related tags found
No related merge requests found
(define-module (geode packages encoding) (define-module (geode packages encoding)
#:use-module ((gnu packages compression) #:select (unzip zip)) #:use-module ((gnu packages compression)
#:use-module ((gnu packages haskell-xyz) #:select (ghc-attoparsec #:select (unzip zip))
ghc-edit-distance #:use-module ((gnu packages haskell-xyz)
ghc-optparse-applicative #:select (ghc-attoparsec
ghc-pipes ghc-edit-distance
ghc-xml)) ghc-optparse-applicative
#:use-module ((guix build-system gnu) #:select (gnu-build-system)) ghc-pipes
#:use-module ((guix build-system haskell) #:select (hackage-uri haskell-build-system)) ghc-xml))
#:use-module ((guix download) #:select (url-fetch)) #:use-module ((guix build-system gnu)
#:use-module ((guix git-download) #:select (git-fetch git-reference)) #:select (gnu-build-system))
#:use-module ((guix licenses) #:select (bsd-3)) #:use-module ((guix build-system haskell)
#:use-module ((guix packages) #:select (package origin base32))) #:select (hackage-uri haskell-build-system))
#:use-module ((guix download)
#:select (url-fetch))
#:use-module ((guix git-download)
#:select (git-fetch git-reference))
#:use-module ((guix licenses)
#:select (bsd-3))
#:use-module ((guix packages)
#:select (package
origin base32)))
(define-public ghc-html5-entity (define-public ghc-html5-entity
(package (package
...@@ -27,10 +36,10 @@ ...@@ -27,10 +36,10 @@
(synopsis "A library for looking up and validating HTML5 entities.") (synopsis "A library for looking up and validating HTML5 entities.")
(description (description
"This package provides a library for looking up and validating HTML5 entities. "This package provides a library for looking up and validating HTML5 entities.
The <http://html.spec.whatwg.org/multipage/entities.json following> document is The <http://html.spec.whatwg.org/multipage/entities.json following> document is
used as an authoritative source of the valid entity names and their used as an authoritative source of the valid entity names and their corresponding
corresponding codepoints. You can think of this library as about bindings to codepoints. You can think of this library as about bindings to
the data from that file. For usage see the Text.Html5.Entity module.") the data from that file. For usage see the Text.Html5.Entity module.")
(license bsd-3))) (license bsd-3)))
(define-public ghc-xmlfilter (define-public ghc-xmlfilter
...@@ -40,17 +49,19 @@ ...@@ -40,17 +49,19 @@
(home-page "https://gitlab.huma-num.fr/alicebrenon/XMLFilter") (home-page "https://gitlab.huma-num.fr/alicebrenon/XMLFilter")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (url home-page) (commit version))) (uri (git-reference
(url home-page)
(commit version)))
(sha256 (sha256
(base32 (base32
"1prsrhpzqx7wcbvzvmc4845f03bvxfazn3v2kfajnr1fnrcbb8nf")))) "1prsrhpzqx7wcbvzvmc4845f03bvxfazn3v2kfajnr1fnrcbb8nf"))))
(build-system haskell-build-system) (build-system haskell-build-system)
(inputs (list ghc-attoparsec)) (inputs (list ghc-attoparsec))
(synopsis "SAX-based library to handle XML-like documents") (synopsis "SAX-based library to handle XML-like documents")
(description (description
"Reads the files as streams of markup events to allow altering the file "Reads the files as streams of markup events to allow altering the file
content on the fly and fixing broken files which aren't proper XML") content on the fly and fixing broken files which aren't proper XML")
(license bsd-3))) (license bsd-3)))
(define-public processing-lge (define-public processing-lge
(package (package
...@@ -59,20 +70,22 @@ ...@@ -59,20 +70,22 @@
(home-page "https://gitlab.huma-num.fr/disco-lge/processinglge") (home-page "https://gitlab.huma-num.fr/disco-lge/processinglge")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (url home-page) (commit version))) (uri (git-reference
(url home-page)
(commit version)))
(sha256 (sha256
(base32 (base32
"0hzlcwy2zdzgy5a2il19zk24159lwpgnbv4cqbi8jpxv5jwb0sww")))) "0hzlcwy2zdzgy5a2il19zk24159lwpgnbv4cqbi8jpxv5jwb0sww"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(arguments (arguments
'(#:phases (modify-phases %standard-phases '(#:phases (modify-phases %standard-phases
(delete 'check)))) (delete 'check))))
(propagated-inputs (list soprano unzip zip)) (propagated-inputs (list soprano unzip zip))
(synopsis "Scripts and data for project DISCO") (synopsis "Scripts and data for project DISCO")
(description (description
"Scripts to process La Grande Encyclopédie and suggestions of filters to "Scripts to process La Grande Encyclopédie and suggestions of filters to
clean the ALTO files.") clean the ALTO files.")
(license bsd-3))) (license bsd-3)))
(define-public soprano (define-public soprano
(package (package
...@@ -81,9 +94,12 @@ ...@@ -81,9 +94,12 @@
(home-page "https://gitlab.huma-num.fr/disco-lge/soprano") (home-page "https://gitlab.huma-num.fr/disco-lge/soprano")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (url home-page) (commit version))) (uri (git-reference
(url home-page)
(commit version)))
(sha256 (sha256
(base32 "17njp16nn2lf7xldkdbkhm7p7vji61pmli3fsdbk9azys1k2yhvy")))) (base32
"17njp16nn2lf7xldkdbkhm7p7vji61pmli3fsdbk9azys1k2yhvy"))))
(build-system haskell-build-system) (build-system haskell-build-system)
(inputs (list ghc-edit-distance ghc-pipes ghc-roman-numerals ghc-xml (inputs (list ghc-edit-distance ghc-pipes ghc-roman-numerals ghc-xml
ghc-optparse-applicative)) ghc-optparse-applicative))
...@@ -91,7 +107,7 @@ ...@@ -91,7 +107,7 @@
(description (description
"Soprano is a tool developed for project GÉODE "Soprano is a tool developed for project GÉODE
(@xref{https://geode-project.github.io/}) which studies the geographic discourse (@xref{https://geode-project.github.io/}) which studies the geographic discourse
in encyclopedias. It was desiged to extract encyclopedia articles from OCRed in encyclopedias. It was desiged to extract encyclopedia articles from OCRed
pages represented by a set of ALTO files. pages represented by a set of ALTO files.
It lets one apply various filtering in the process, for instance specifying the It lets one apply various filtering in the process, for instance specifying the
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment