diff options
| author | Vivien <vivien@planete-kraus.eu> | 2021-11-06 16:41:25 +0100 |
|---|---|---|
| committer | Vivien <vivien@planete-kraus.eu> | 2021-11-06 16:41:25 +0100 |
| commit | 5dc58dda9f175c9cb9c001239ee08341bc2d1b7f (patch) | |
| tree | b2af32862692d9093a9681ddba6f05ca053c00cc | |
| parent | 10b8199aaa1231658ab8baaab721f912402a53dd (diff) | |
Update package
| -rw-r--r-- | vkraus/packages/disfluid.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/vkraus/packages/disfluid.scm b/vkraus/packages/disfluid.scm index 35e1184..b91e91a 100644 --- a/vkraus/packages/disfluid.scm +++ b/vkraus/packages/disfluid.scm @@ -251,7 +251,8 @@ (assoc-ref outputs "out") "/share/doc/disfluid/disfluid.html/complete-corresponding-source.tar.gz")))))))) (native-inputs - `(("texlive" ,texlive) + `(("texlive" + ,(texlive-union (list texlive-tex-texinfo))) ,@(package-native-inputs disfluid))) (synopsis "HTML documentation for Disfluid") (description "The manual for disfluid is provided as a texinfo @@ -296,7 +297,7 @@ corresponding source, as an AGPL requirement."))) `(,branch ,(file-append (disfluid-htmlize package) "/share/doc/disfluid/disfluid.html")))) branch-disfluids))))))))) (define-public disfluid-snapshot-debug (disfluid-branch-snapshot #:branch-name "debug" #:version "0.6.1-10-g0197f1b" #:manual-mdate "2021-10-21T09:45:14+02:00" #:release-date "2021-11-06T16:40:38+01:00" #:commit-id "0197f1be8e5bb0f99b27b8c7d72cba1cc139b0eb" #:hash "13ff4cssc671g55h5llicyh7qcv63jl3wf66lgpisfyk5dqhbq1i")) -(define-public disfluid (disfluid-release #:version "0.6.1-2-g1b9489f" #:manual-mdate "2021-10-21T09:45:14+02:00" #:release-date "2021-11-06T14:50:59+01:00" #:commit-id "1b9489fad93f64bb4023ea91fcbd5500e4803b3c" #:hash "18h3d807dg48b913rqwx211jnbrmlbmzk6chmyi6bm5x1w1mb4a8")) -(define-public disfluid-snapshot-master (disfluid-branch-snapshot #:branch-name "master" #:version "0.6.1-2-g1b9489f" #:manual-mdate "2021-10-21T09:45:14+02:00" #:release-date "2021-11-06T14:50:59+01:00" #:commit-id "1b9489fad93f64bb4023ea91fcbd5500e4803b3c" #:hash "18h3d807dg48b913rqwx211jnbrmlbmzk6chmyi6bm5x1w1mb4a8")) +(define-public disfluid (disfluid-release #:version "0.6.1-3-gddf2ddf" #:manual-mdate "2021-10-21T09:45:14+02:00" #:release-date "2021-11-06T16:32:32+01:00" #:commit-id "ddf2ddf06be7d2c45afdc4f411438e77020dd198" #:hash "1xcy7jfp0f8mlcazvgcfsr3s8w39l0llxjz5k60dqrfrp12i87mz")) +(define-public disfluid-snapshot-master (disfluid-branch-snapshot #:branch-name "master" #:version "0.6.1-3-gddf2ddf" #:manual-mdate "2021-10-21T09:45:14+02:00" #:release-date "2021-11-06T16:32:32+01:00" #:commit-id "ddf2ddf06be7d2c45afdc4f411438e77020dd198" #:hash "1xcy7jfp0f8mlcazvgcfsr3s8w39l0llxjz5k60dqrfrp12i87mz")) (define-public disfluid-snapshot-widgets-library (disfluid-branch-snapshot #:branch-name "widgets-library" #:version "0.6.1-7-g160d225" #:manual-mdate "2021-10-21T09:45:14+02:00" #:release-date "2021-11-06T16:40:31+01:00" #:commit-id "160d225620f74178a618803e08da873ec924ce39" #:hash "14sg3fksa5rxvd1n2qgvpbvmxfhrgfqgamdmnly1klzmx67qh5ih")) (define-public disfluid:website (make-website disfluid (list (cons "debug" disfluid-snapshot-debug) (cons "master" disfluid-snapshot-master) (cons "widgets-library" disfluid-snapshot-widgets-library)))) |