aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/jose.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2019-04-26 17:51:09 +0200
committerJulien Lepiller <julien@lepiller.eu>2019-04-26 18:28:49 +0200
commitb858c5ac3911eacf5961809216737ac557e4aa63 (patch)
tree1008c1863cdaa27e65ef524daa925ec82d631d8b /gnu/packages/jose.scm
parent44b8507d5eb227ac26fcad7121b12e1d1058a314 (diff)
downloadguix-b858c5ac3911eacf5961809216737ac557e4aa63.tar.gz
guix-b858c5ac3911eacf5961809216737ac557e4aa63.zip
gnu: ocaml-ssl: Update to 0.5.7.
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.7.
Diffstat (limited to 'gnu/packages/jose.scm')
0 files changed, 0 insertions, 0 deletions
2020-09-23gnu: fplll: Correct include files....Andreas Enge 2020-09-23gnu: fplll: Update to 5.3.3....Andreas Enge 2020-09-01gnu: gap: Update to 4.11.0....Andreas Enge 2020-08-20gnu: python-fpylll: Update to 0.5.2....Andreas Enge 2020-08-20gnu: fplll: Update to 5.3.2....Andreas Enge 2020-08-19gnu: cmh: Update home-page....Efraim Flashner 2020-08-18gnu: mpfrcx: Update to 0.6....Andreas Enge 2020-08-15gnu: flint: Update to 2.6.3....Tobias Geerinckx-Rice 2020-08-08gnu: flint: Add a comment about the licence....Tobias Geerinckx-Rice 2020-08-08gnu: flint: Update to 2.6.2....Tobias Geerinckx-Rice 2020-07-25gnu: flint: Update to 2.6.1....Tobias Geerinckx-Rice 2020-07-22arb: Update to 2.18.1....Andreas Enge 2020-07-22gnu: gp2c: Update to 0.0.11pl4....Andreas Enge 2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Ludovic Courtès 2020-07-10gnu: linbox: Fix linking of dependant packages....Jakub Kądziołka 2020-07-10gnu: arb: Build with flint 2.6....Jakub Kądziołka 2020-07-10gnu: flint: Build with ntl....Jakub Kądziołka 2020-07-10gnu: flint: Update to 2.6.0....Jakub Kądziołka 2020-07-08gnu: giac: Update to 1.6.0-7....Nicolas Goaziou 2020-06-24gnu: symengine: Fix indentation....Nicolas Goaziou 2020-06-24gnu: Add symengine....Vinicius Monego 2020-06-09gnu: singular: Update to 4.1.3p2....Tobias Geerinckx-Rice 2020-06-05gnu: singular: Update to 4.1.3p1....Tobias Geerinckx-Rice 2020-05-05Merge branch 'master' into core-updatesMarius Bakke 2020-05-04gnu: Add lmfit....Vincent Legoll