diff options
| author | aristote <quentin.aristote@irif.fr> | 2026-06-14 20:33:11 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2026-06-14 20:33:11 +0200 |
| commit | bc486057f2c65d506188be383065a6abcf97753d (patch) | |
| tree | 5b0dec92075709ec553f335d07692f60ea1e4814 /software | |
| parent | 405f395d20e7f123981513b766823202971ee8c5 (diff) | |
| download | info-bc486057f2c65d506188be383065a6abcf97753d.tar.gz info-bc486057f2c65d506188be383065a6abcf97753d.tar.bz2 info-bc486057f2c65d506188be383065a6abcf97753d.tar.xz | |
fix software urls
Diffstat (limited to 'software')
| -rw-r--r-- | software/software.json | 4 |
1 files changed, 2 insertions, 2 deletions
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"} ] |