summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2023-05-18Remove gmp dependencyThomas Letan
2023-05-18Spatial Shell release 2Thomas Letan
2023-04-30Do not opam init if $HOME/.opam/config already existsThomas Letan
2023-04-30Provide missing information and fix build when opam is not initThomas Letan
2023-04-29Fix pkgrel missing bumpThomas Letan
2023-04-29Fix optional dependencies to waybarThomas Letan
2023-04-29Spatial Shell release 1Thomas Letan