aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-11 17:02:34 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-11 17:02:34 +0200
commit7a8c2d0d60ad2156a24c68ceebb1743a1d1fd481 (patch)
tree122334428dea71232bbc72648441acda2ba3331c
parent15f8b6775695e81a73f0e20994c0ea79997363da (diff)
downloadPraspel-7a8c2d0d60ad2156a24c68ceebb1743a1d1fd481.zip
Praspel-7a8c2d0d60ad2156a24c68ceebb1743a1d1fd481.tar.gz
Praspel-7a8c2d0d60ad2156a24c68ceebb1743a1d1fd481.tar.bz2
Documentation: Update `support` properties.
-rw-r--r--composer.json12
1 files changed, 7 insertions, 5 deletions
diff --git a/composer.json b/composer.json
index 4a94080..a73109b 100644
--- a/composer.json
+++ b/composer.json
@@ -5,7 +5,7 @@
"keywords" : ["library", "praspel", "specification", "contract", "test",
"generation", "validation", "precondition", "postcondition",
"invariant"],
- "homepage" : "http://hoa-project.net/",
+ "homepage" : "https://hoa-project.net/",
"license" : "BSD-3-Clause",
"authors" : [
{
@@ -14,13 +14,15 @@
},
{
"name" : "Hoa community",
- "homepage": "http://hoa-project.net/"
+ "homepage": "https://hoa-project.net/"
}
],
"support": {
- "email" : "support@lists.hoa-project.net",
- "irc" : "irc://irc.freenode.org/hoaproject",
- "source": "http://git.hoa-project.net/"
+ "email" : "support@hoa-project.net",
+ "irc" : "irc://chat.freenode.net/hoaproject",
+ "forum" : "https://users.hoa-project.net/",
+ "docs" : "https://central.hoa-project.net/Documentation/Library/Praspel",
+ "source": "https://central.hoa-project.net/Resource/Library/Praspel"
},
"require": {
"hoa/compiler" : "~3.0",