From bc486057f2c65d506188be383065a6abcf97753d Mon Sep 17 00:00:00 2001 From: aristote Date: Sun, 14 Jun 2026 20:33:11 +0200 Subject: fix software urls --- software/software.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'software/software.json') diff --git a/software/software.json b/software/software.json index 5323626..6e02437 100644 --- a/software/software.json +++ b/software/software.json @@ -1,5 +1,5 @@ [ - {"id":"aristoteBibliparis","abstract":"Spacemacs layer that adds features to org-mode enabling the management of reading lists of documents from Paris’ network of libraries.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteBibliparis","genre":"Emacs Lisp","title":"bibli-paris","type":"software","URL":"https://github.com/qaristote/bibli-paris"}, + {"id":"aristoteBibliparis","abstract":"Spacemacs layer that adds features to org-mode enabling the management of reading lists of documents from Paris’ network of libraries.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteBibliparis","genre":"Emacs Lisp","title":"bibli-paris","type":"software","URL":"https://git.aristote.fr/elisp/bibli-paris"}, {"id":"aristoteSmtlibbackends2022","abstract":"Haskell library providing low-level functions for SMT-LIB-based interaction with SMT solvers.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteSmtlibbackends2022","genre":"Haskell","issued":{"date-parts":[[2022,12,16]]},"license":"Copyright (c) Tweag I/O Limited.","publisher":"Tweag","title":"smtlib-backends","type":"software","URL":"https://hackage.haskell.org/package/smtlib-backends","version":"0.2"}, - {"id":"aristoteWebpage","abstract":"Nix-based static webpage generator.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteWebpage","title":"webpage","type":"software","URL":"https://github.com/qaristote/webpage"} + {"id":"aristoteWebpage","abstract":"Nix-based static webpage generator.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteWebpage","title":"webpage","type":"software","URL":"https://git.aristote.fr/about-me/webpage"} ] -- cgit v1.3.1