]> git.immae.eu Git - perso/Immae/Config/Nix.git/blame - modules/private/websites/isabelle/aten_app/aten.json
Use new withPlugin system
[perso/Immae/Config/Nix.git] / modules / private / websites / isabelle / aten_app / aten.json
CommitLineData
6c672f34
IB
1{
2 "tag": "b99537f-master",
3 "meta": {
4 "name": "aten",
d823e010 5 "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten",
6c672f34
IB
6 "branch": "master"
7 },
8 "git": {
d823e010 9 "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten",
6c672f34
IB
10 "rev": "b99537fdad41291afb4f1bb8b2e2aa4081c71fae",
11 "sha256": "15mlyik6zivxwry6zc906bqnivxhby27yr8kj4lg5n68pvb877dn",
12 "fetchSubmodules": true
13 }
14}