diff options
| -rw-r--r-- | checkpkgist.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checkpkgist.json b/checkpkgist.json index c7e8bf3..1501509 100644 --- a/checkpkgist.json +++ b/checkpkgist.json @@ -29,6 +29,7 @@ "hoa\/file": "php-hoa-file", "hoa\/locale": "php-hoa-locale", "hoa\/math": "php-hoa-math", + "hoa\/praspel": "php-hoa-praspel", "hoa\/protocol": "php-hoa-protocol", "hoa\/realdom": "php-hoa-realdom", "hoa\/regex": "php-hoa-regex", |