aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoel Janssen <roel@gnu.org>2018-04-28 00:43:16 +0200
committerRoel Janssen <roel@gnu.org>2018-04-28 00:43:16 +0200
commitd0c75e73d41f308bc6f851aa7b9539f3ae71aa15 (patch)
tree225eed36faf006f7f6be8171e67f1dfdfffb36da
parent5e3175f743b079eac55b3e33c512538acb2d658d (diff)
downloadguix-d0c75e73d41f308bc6f851aa7b9539f3ae71aa15.tar.gz
guix-d0c75e73d41f308bc6f851aa7b9539f3ae71aa15.zip
gnu: taxtastic: Update to 0.8.5.
* gnu/packages/bioinformatics.scm (taxtastic): Update to 0.8.5.
-rw-r--r--gnu/packages/bioinformatics.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/bioinformatics.scm b/gnu/packages/bioinformatics.scm
index da1cf4a218..9239f08ce6 100644
--- a/gnu/packages/bioinformatics.scm
+++ b/gnu/packages/bioinformatics.scm
@@ -5963,13 +5963,13 @@ Cuffdiff or Ballgown programs.")
(define-public taxtastic
(package
(name "taxtastic")
- (version "0.6.4")
+ (version "0.8.5")
(source (origin
(method url-fetch)
(uri (pypi-uri "taxtastic" version))
(sha256
(base32
- "0s79z8kfl853x7l4h8ms05k31q87aw62nrchlk20w9n227j35929"))))
+ "03pysw79lsrvz4lwzis88j15067ffqbi4cid5pqhrlxmd6bh8rrk"))))
(build-system python-build-system)
(arguments
`(#:python ,python-2
2024-06-16 10:15:36 +0200'>2024-06-16gnu: coq-mathcomp: Update to 1.19.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.19.0. Change-Id: Icf72f91c09aa0504d7175d437a1cf75020751335 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-interval: Update to 4.10.0....* gnu/packages/coq.scm (coq-interval): Update to 4.10.0. Change-Id: If5be16804fefdca04b52a91cf3f52484c486fea8 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-gappa: Update to 1.5.5....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.5. Change-Id: Iaf0077a8081d7ba30aeb1bded3bc36570df88283 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-coquelicot: Update to 3.4.1....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.1. Change-Id: I9330c7d98b881c051f4f03dfdf7f1be9e3f26aa6 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-05-15gnu: coq-flocq: Update to 4.1.4....* gnu/packages/coq.scm (coq-flocq): Update to 4.1.4. Change-Id: Ia2bf4bccad712a7bfa5427ef26ad93d39f1fc6e0 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-02-08gnu: coq: Update to 8.17.1....* gnu/packages/coq.scm (coq): Update to 8.17.1 and merge with coq-core and coq-stdlib. [arguments] Merge with coq-core and coq-stdlib. Add pre-build phases and add a custom install phase. Remove unnecessary test-target. [source](patches): Remove. [native-search-paths]: Remove COQLIBPATH and COQCORELIB. (coq-core): Remove variable. (coq-stdlib): Remove variable. (coq-ide)[propagated-inputs]: Add zlib. (coq-mathcomp-bigenough)[propagated-inputs]: Remove coq-core. (coq-mathcomp-finmap)[inputs]: Remove coq-stdlib. (coq-equations): Update to 1.3-8.17. * gnu/packages/patches/coq-fix-envvars.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. Co-authored-by: Josselin Poiret <dev@jpoiret.xyz> Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I0a0d9f7a6e06dd19ce1b66051334476d85f4f195 pukkamustard 2024-02-08gnu: Update coq-interval to 4.8.0....* gnu/packages/coq.scm (coq-interval): Update to 4.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I17e2426aacd84289eff538a195b79683eb98fe9f pukkamustard 2024-02-08gnu: Update coq-stdpp to 1.8.0....* gnu/packages/coq.scm (coq-stdpp): Update to 1.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Id44b29296fa6de706b0a3eac90616ba0de126f87 pukkamustard 2024-02-08gnu: Update coq-autosubst to 1.8....* gnu/packages/coq.scm (coq-autosubst): Update to 1.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I36b226afd3ed043977c6188dcb6bdeaf2e402de8 pukkamustard 2024-02-08gnu: Update coq-mathcomp to 1.17.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.17.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Ia8397f94b7158128e6473811355a2c596c98970b pukkamustard 2024-02-08gnu: Update coq-coquelicot to 3.4.0....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I14c18abdbb7bebea75ac26be9c4c1954778cef22 pukkamustard 2024-02-08gnu: Update coq-gappa to 1.5.3....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.3. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Icc124d8a2d7a55717651d135d6817871b5bc6321 pukkamustard 2024-02-08gnu: Update coq-flocq to 4.1.1....* gnu/packages/coq.scm (coq-flocq): Update to 4.1.1. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Ib2d8fb4701d03a5e796736ab5b2a30dc6897dc22 pukkamustard 2023-11-23gnu: Add coq-for-coqtail....* gnu/packages/coq.scm (coq-for-coqtail): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Change-Id: I0c08a02f7937786b52039307c1019ae3474e625c Jean-Pierre De Jesus DIAZ