sourcephile-src.git
9 months agohaskell: install all-hie master
Julien Moutinho [Thu, 26 Mar 2020 05:19:38 +0000 (06:19 +0100)]
haskell: install all-hie

10 months agoupdate git modules
Julien Moutinho [Thu, 19 Mar 2020 20:37:18 +0000 (21:37 +0100)]
update git modules

13 months agorename {plurasoft => sourcephile}
Julien Moutinho [Mon, 16 Dec 2019 12:17:14 +0000 (12:17 +0000)]
rename {plurasoft => sourcephile}

13 months agorename {lessbuggy => plurasoft}
Julien Moutinho [Thu, 5 Dec 2019 05:11:12 +0000 (05:11 +0000)]
rename {lessbuggy => plurasoft}

14 months agorename: {commonsoft => lessbuggy}
Julien Moutinho [Thu, 21 Nov 2019 02:06:12 +0000 (02:06 +0000)]
rename: {commonsoft => lessbuggy}

14 months agogit: update and rename submodules
Julien Moutinho [Thu, 21 Nov 2019 00:16:14 +0000 (00:16 +0000)]
git: update and rename submodules

14 months agonix: do not override pkgs.glibcLocales
Julien Moutinho [Fri, 8 Nov 2019 21:01:02 +0000 (21:01 +0000)]
nix: do not override pkgs.glibcLocales

14 months agonix: update shell.nix
Julien Moutinho [Fri, 8 Nov 2019 16:52:18 +0000 (16:52 +0000)]
nix: update shell.nix

16 months agogit: update submodules
Julien Moutinho [Fri, 30 Aug 2019 09:24:55 +0000 (09:24 +0000)]
git: update submodules

19 months agoadd README.tct
Julien Moutinho [Wed, 19 Jun 2019 15:12:07 +0000 (15:12 +0000)]
add README.tct

19 months agogit: delete submodules
Julien Moutinho [Wed, 19 Jun 2019 15:08:28 +0000 (15:08 +0000)]
git: delete submodules

19 months agogit: delete submodule hcommon
Julien Moutinho [Wed, 19 Jun 2019 14:37:46 +0000 (14:37 +0000)]
git: delete submodule hcommon

19 months agogit: add and update submodules
Julien Moutinho [Wed, 19 Jun 2019 14:35:08 +0000 (14:35 +0000)]
git: add and update submodules

2 years agogit: update submodules
Julien Moutinho [Sun, 23 Dec 2018 11:25:26 +0000 (11:25 +0000)]
git: update submodules

2 years agonix: fix PATH_NIX
Julien Moutinho [Tue, 18 Dec 2018 10:39:32 +0000 (10:39 +0000)]
nix: fix PATH_NIX

2 years agogit: add submodules
Julien Moutinho [Sun, 11 Nov 2018 20:34:41 +0000 (20:34 +0000)]
git: add submodules