summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--checkpkgist/checkpkgist.json1
1 files changed, 1 insertions, 0 deletions
diff --git a/checkpkgist/checkpkgist.json b/checkpkgist/checkpkgist.json
index 47acaa5..e93ddf7 100644
--- a/checkpkgist/checkpkgist.json
+++ b/checkpkgist/checkpkgist.json
@@ -23,6 +23,7 @@
"hoa\/compiler": "php-hoa-compiler",
"hoa\/consistency": "php-hoa-consistency",
"hoa\/console": "php-hoa-console",
+ "hoa\/devtools": "php-hoa-devtools",
"hoa\/dispatcher": "php-hoa-dispatcher",
"hoa\/iterator": "php-hoa-iterator",
"hoa\/json": "php-hoa-json",