Tags

the usual
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgKL2DvZ/IO
llDxo7C5V6rNGHWMYmEy+nOXM2PavWPCzGWD5rR9OaPrQMME4gZo5jbAj7YowhVjmp+JwB
1OfwjGeGsOoQ7kgt7Ps5yyR8WvuP5L73thHeCgbI7byY4p1JFBf0E2YBhK4AgnkC/xc7rb
ZAYrXvPQtwQaQAWLh9GEvoIZH4eHp+2dhb6TKicKVteDfOgwUY0D2ryaXAC20255q26ZO3
mURmSZQbBRqrZX7Dn8sU4BLA9MTksv+iubq4hEz1PHUsLtIAQKSAewojea04Y2TxhpPjGj
JXPrAfvdds6nYbthF6eKl30hoAKR1jWJPuu+gGgzIF+4MF5cMwHGIj5TIVRYyDnCGuXyEp
E4QVvnacurAgS/ohmyzXNsNwM5FOmQeNaTLszRbNu3rGtxqsun0k7b8ZrdWzsifsb14nr7
JDyPfkjgnOgJLA2b9u6YlRI8H/+zRdJFBl11LprZbuYoOBCchMQAt51OBml2qkzg3UwNjG
aCQeeVS3SnjVBg==
-----END SSH SIGNATURE-----

Included coqdocjs

see comoproj-v2.6.2
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgHtQ+9B8Qv
fgN8OBHw2bVu9kjiOj6bcbZEpvir0xotQ5uWxwqpYNkWvJXZcR4WLABszJo5V63ltORYOA
LD8EwaqSWfSneuHMu1gh0eO2L5WIZjgUlav+7ujPeSliHJuVQaDAe9X5o8yd3BvAoNpK1i
ZV/rXIzo56nhuP+KIBaAyVZStaQBOjTbaj8AFnj8UZZxK6msoXR4bx2vu0N2SaZkQWH1fc
41CAg2UA+3IdXgTOdkUHS2cXFCvQRP/Pol2+Kcww684KCe6pe/AYpYV7XTA9HUu8wul28n
zmGBYz7+4vJnC+TH3+b9Wh+BpBo0wzp/owS9ARVHsUIxtqsbuqMlJ0/m9l6y+HD2ARhCyk
ss6y50hOtfSn7skv0GtZwUafORYpQ4uMcpJcpuFVziIjdgqVpPXCyW0Xo2/N8208lPfjGW
qg603iUcVMRvh5CN1wfNEBUBt1Y1KT5f1Zr/Bn+DdBfQER0AGbWxgfa/dsCsfHJkdWCt65
h6X7ZKvc1LFxfw==
-----END SSH SIGNATURE-----

Added explicit licensing to every file

The Makefile is now explicit licensed under GNU GPLv3 with copyrights to
Max Ole Elliger and Philip Kaludercic.

The .gitlab-ci.yml is now explicit licensed under GNU GPLv3 with
copyrights to Max Ole Elliger.
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgErzK54MZc
RpgINKTLS9xhACoQcZIpaumdSgbYgUVWbfimuExFoEIUa0XhvrqBsQRnWsaRpBFwSUNB8a
Ih4KV68uNqbQr9u0ep2dlcm7FpUOXUfDNw95IpyLdtEb4e8nbXEHN3bmzDAFWqh78vNfFq
qLhPIp74CQ7alza7X4WS6esLugPQcAUnarfISl97WyeSp7DdwRyMaNKQjnvBo1zrZxj+3F
Rj97sYWCN0B/Eyvd5/nqRYvyJeELqhEvrtimIPTOLXNkOaysKXM1VtilzYDfrLIvIShwOK
EXcbyOcet/uvOI7IyEix7RJg+3avXWXpTdqgK42hLaK3/oH9nV1DPzn1IlteEDxJ2Z2vqs
SB4KBNpjToJ9TcCahr8YkNFp3hNfY5U2NNAaNtcphZamW9Ruc3afeI6OSTBuarfobqGkJ9
cacE/u5x9Wl28z+/CVbNHm53HK21VxlemubOh6HhTLbfl5PCGVm2c7cuH1oxqtTpREp4iF
8v6GMqFxUAtiBg==
-----END SSH SIGNATURE-----

comoproj-v2.6.1 for coq-version 8.16.1
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgKt1kVrxBZ
qunQOUhcc5jmlrItUyF7XN9qifdfIYi1IQcDb3GOCb4P1KiFDxSzaD2uxAkJ0mf1GyVs0W
BL32YOgSnlD75XM+XhFpIcMKW5c7TQ287pUXvQT2stJGcX6fviDiS19fy7MhvWy4r0sEdu
/VdDkg3w+HZRkinXc6B4UppLORbpEDnPEk1wgL/mPgMw5LKzqL3mmVnnDPr3yDevRNLDdq
oxBRrUAucScLHprAzzD2FJ7bJ0sH+H3ALeXEHt0PhpoHFSljK62mxE2DKnhMlKZWzIvcNE
/G1joK5sN7svR34FoAW+XYAaI5UZY7p+11zE5MBmA0pDcey+TpaGZP8andtw7oSocBQWMw
V8QVr0vWylVpUjVf92aUM1LgxAUmIMoIcQ0IHwIDjRb33PK/vek4ooKhw9L1XzlNCw9RON
8JsJdaSd9Vmjp2mz4N0pXYJnRBDJDxYPto6f/NzXLbIMDKAsV2ATcHaDwCowhLIlGoIZeV
PxFnRlmy9rxwRw==
-----END SSH SIGNATURE-----

new tag name
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgCuSmz1ABu
ZGi147CqAT6JGyCA/UlSNwG3KUjgUvJ0G9e6FSzxzgcx2c1OsxRqOIGSnCJADEMCIlhWaq
peBcwck7IHvIhnlM2k9BsKuY2bA6HilMLFCenDwkpK2F2sTnYvXhI+2aPA3Yq/9gWPTyRs
B3blFcMeoO0o77aoZbg7K9tVo6ElxzHiWiHD/2dJ1mdAHKj4FJL2Ouv4fgbRDAkxGm/E5q
EDKipZRntJvE0weCIsLRYZw2pY5lA7zRdHNqES2Ve2mZej+YIMouHbLpj9GMDrBrYDSTIG
xu88peAugHz7M86o8G9Y14R7+MVS7Du46mBrM5pyrg5P9JWhLN/8y5d7w7OP2kmY5jJZRV
SiBlRpisAyy234xWukK6qRsTzsrWHIkQY1RU7Bdd0UsSHrW/FzgZ3n7DN2VP6CjVgESUPs
oE5vEDxbkM0noMCiZkQa77Bir0Abp/bjARgR1+Owh03LG8eAAtb9ukedXPENAqh0C9UXDC
Em/xuuvSqx86Gw==
-----END SSH SIGNATURE-----

new tag name
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgGX9sdzC6Q
7AEpr8R8nERAOgi3g1DCQyc5jCYCjUtRXOTdXY1NbuXhtDbrjJidJk0fpvIsAyLSkcqOtA
zSS6SinsrrZWlJr312DYLgHDCVV5rHSkPSRk70KrdGCNIprTNmoFcMhvs89mNhLoZnQBsn
tzc+92YQN0+foHIWiUoqzYYfG99ms13ED+UD26DDqsiWZruBACKSXXw+takHPY34lMnPTK
YmAFZR3wU5eZ9l+jixGbz+X1il+StMJHs2vJOgvgVj8stKL9do8J8UPY6NAtGUemAPoXI1
ibRr0a/Fb5PaVqprdb2JU8+L29mJPx0YnqmKH2WYGZLNIWt+jbyJr4bRL2ZO/tuwS+Pbi3
cAdD5BgdXyRpUCl7XhYG79gk/GLLjZyJ7E3GeC9VMhS6ta5lm2MOsDCUfNK3kRYWrBlIwv
ybv+UyKphfXZAZADTyAiO1dErs2/6wqRnmMx7fIe7IRUuDmT6swg1jV2CjqSTjV5DRHia1
+MXpXpFE84arfQ==
-----END SSH SIGNATURE-----

added explicit latest tag to docker image
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgGxhNIZFQC
P+Vsj5IFKPlItv0nLTnKRUjGHdpA66sAS2J5apbrPvvUorjXh0JOk5S8b0AXtBgBiubKmP
o5NerQqHQiCxzwO5/18fOkEQWo4txbSp7/nKLfOvFtYbaoPG554cjIvscmvn8fN0u727uk
3w0h9XzMbi+u/Jh1/R7mEVb6sCw9WIGEZRoFHsuGXNKWOQ1wk5uNjFRkAAFGbEBMs0e1/c
X96Em2PxucKF0p6dUUpVahQZXeWbFsb5hsd9V5g6usJSfdI+OxMh+qHgXoK70Ue5f5Zglr
tA9x2sZNnSgg176Vu3wsG0FQroFD6VU2U245Kdooj0gbG6YGUa3INDX5f0XhGhZLp8GyxB
1qbJfxj3k7TmZfCBmYh+mmtYP29BU/NHpWhQTUor6gnnaC7UHz8I1bZ3MqrHn6D/bcXvbs
74Ot7qj1sUth3aM2iKrT0LxVA+xSQbmMe5GdrVY2Y3AVCdGyXEnLAe9H7TYZKgeCdLgHSC
R28Ak3yy7aZUhw==
-----END SSH SIGNATURE-----

updated LICENSE
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgESjX0Vtze
6TwBGwLkD4FdplwKokEhtv1MKTePsx2nEZQ9Z+omossn7uBj1ir7qD5eWVEtE7IAUz8LUL
RtMUAcGsEfoaC9kXAq5Zt+qExX/ftsYfUBthLzjQaRODA3CiZZG3T2sUsmX5Aw9yl6AfUo
+iEJZLLCYDXA2hrr/YpYjzL6OaVj3fnV1K6Un9r9CJjDwXnuUKH7ky/9QgbnX6TQf9jwsX
clroer21PHl0ThN6hw8oQugnuhS2w5K6SIvSj9QooT2OXKH9iCHBBAcyxVlU6UQv+6StLf
qmE7V3xgJp/khPBkJ7OVM+GE43q5ZLMLiOtWIQFAbW12ZrMo3QINg1NxEW718NNNs5HKn7
8w4sKEvUh70FKteBwa2xTZpqWHhfz4NlXTeBAd+7jrO5BReX5yZ6+AwSZRw0KbLZIeZiDw
/MW4xiIpK9lYssUGdsnsP4ACuZeZKaL5+noKJKIXk8Eq48y1p6h6Q1L+9/T0+dt18KHTh0
lbMuZo8YNL/LhA==
-----END SSH SIGNATURE-----

support for coq-equations

By using the new docker image motrellin/docker-coq-equations, one can
now use this template to check coq code using the extension
coq-extensions.
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgHIh7Fxqc/
7d7oxjFRHkxMkh63jx7+j65aydYSKhvMJuWK6asdBVCjpt0inKwlJGmfANKKkK9qygqa+N
dZS8prAyPPZiHTIImb4fCHlKWbpcDF3zEGHJp+eQ3X01+lyEdE0Uirc3TJ3jkdt5I5e8Wh
hxBOUXq6vv5Tuow9lH3Vd04JXxlU3+/p/KZHT6tjHzLQyf54eg/e9fmFXEy2D/JdY1So8F
5H90GVyn5/WLnXdJPP+TuiEeGqQ9dvdgBCerH+KgkvwAZPZ3E7/IubJeL7AkGXBn8of4Y6
cyceMJLPKqWfHnNTuaveVcaivxWc0/KTEnM1EXQRsFhcz2LZGMQWI1CCCGqFqh4iGqErpI
Jntlt3zdPx7t9OfmwU83VoEGymOZDpjQ6IIDOuyYwCn55+DSc+CKaOYItkLprFH8ZWQNrZ
LrLQ6N7Dn+ZJy0CM2r8zoe9eMmQjCUjtHPdgVpZzo48wZielbaQ/Mu9aC0zCl9RyGF/Iyo
BkG2S/4DDRxpGA==
-----END SSH SIGNATURE-----

html-folder for artifacts

added README based on readmo-v1.0.0

first version

some fixes due to problems with coqc-8.16.1

topological sorted toc.html based on Coq-Command 'Require'

enabled sorting in html-output