diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-07-27 19:59:31 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-07-27 19:59:31 +0200 |
| commit | e9a4d67e18b7c98c83f53cd9623097b93331da2b (patch) | |
| tree | 8eaf785c9ebda7dc8db9bbe2a92ff16038e3cb3a /software | |
| parent | 9be0a0e0455a5f7d7602229b14f8f28fb51ab1e2 (diff) | |
typo
Diffstat (limited to 'software')
| -rw-r--r-- | software/software.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/software/software.json b/software/software.json index d13b757..5323626 100644 --- a/software/software.json +++ b/software/software.json @@ -1,5 +1,5 @@ [ - {"id":"aristoteBibliparis","abstract":"Spacemacs layer that adds functionnalities 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://github.com/qaristote/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"} ] |