Migrate mylibs to niv (work in progress)

[perso/Immae/Config/Nix.git] / modules / private / websites / isabelle / aten_app / aten.json

diff --git a/modules/private/websites/isabelle/aten_app/aten.json b/modules/private/websites/isabelle/aten_app/aten.json
deleted file mode 100644 (file)
index 10a315a..0000000
--- a/modules/private/websites/isabelle/aten_app/aten.json
+++ /dev/null
@@ -1,14 +0,0 @@
-{
-  "tag": "b99537f-master",
-  "meta": {
-    "name": "aten",
-    "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten",
-    "branch": "master"
-  },
-  "git": {
-    "url": "ssh://gitolite@git.immae.eu/perso/Immae/Sites/Aten",
-    "rev": "b99537fdad41291afb4f1bb8b2e2aa4081c71fae",
-    "sha256": "15mlyik6zivxwry6zc906bqnivxhby27yr8kj4lg5n68pvb877dn",
-    "fetchSubmodules": true
-  }
-}