diff options
Diffstat (limited to 'ports/grppi')
| -rw-r--r-- | ports/grppi/CONTROL | 4 | ||||
| -rw-r--r-- | ports/grppi/vcpkg.json | 7 |
2 files changed, 7 insertions, 4 deletions
diff --git a/ports/grppi/CONTROL b/ports/grppi/CONTROL deleted file mode 100644 index c638ad212..000000000 --- a/ports/grppi/CONTROL +++ /dev/null @@ -1,4 +0,0 @@ -Source: grppi
-Version: 0.4.0
-Homepage: https://github.com/arcosuc3m/grppi
-Description: GrPPI is an open source generic and reusable parallel pattern programming interface developed at University Carlos III of Madrid.
\ No newline at end of file diff --git a/ports/grppi/vcpkg.json b/ports/grppi/vcpkg.json new file mode 100644 index 000000000..1cc832ab3 --- /dev/null +++ b/ports/grppi/vcpkg.json @@ -0,0 +1,7 @@ +{ + "name": "grppi", + "version-string": "0.4.0", + "port-version": 1, + "description": "GrPPI is an open source generic and reusable parallel pattern programming interface developed at University Carlos III of Madrid.", + "homepage": "https://github.com/arcosuc3m/grppi" +} |