-
comoex-v3.1.2 protected
included comoproj-v2.7.0 -----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 awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgIYOLBuMDs ebcFJQnCXHgBpASfL/TlHm2ckYoceeSTei48Uz4DxlqJ6biaiuTnIgceF0bMiJs36FAMtx GO2XO66i3q/GFQPRMEekdrcDI+/DTuxnEvHVVsW8y6ZwBC/h/bXaZvcO9wIVTQE+dVMwF3 jgLg+dnUyXuqXxEnOLbCekJCAEREISrgfaai7BFOWnb7+BwG4V6iHpKXivSWRZI7llMNMt a0VjQh74dT9RaMJGJPpiMskWMrnStutbfuQ5SOevlKAbN6xTy2JG9ily2IoBq/DRBjR4MI QEmPBNzzUxW/X2r0yRCPsZsEwy91Gi7ZpgwWlkL3jvcon5YPu/WnHkCE6g1+lCh4rpo/Ze Wr9KlLHyc7hhY9Wx+2IBqt3zMQXiCkj6LrAzwMnpvVYLSM92GRiNi0pfLvfROFasx/3NP1 wMUAO6mjv3rUi8Uq3w0GbtvNeBOy1xltkJdBXqoZIw2VnJYS36IY7WCuHEWLNhRvzrmhSI SJhcNQFrqAAMuw== -----END SSH SIGNATURE-----
-
comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1
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-----
-
comoex-v3.1.1 protected Release: comoex-v3.1.1
added licensing-information to every source file -----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 awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgCNr7TeEvW NpALz3Zw/5ia3ALejyl7NFWgTiohzFf7iCa5VjMUcWUAXC/mNMNNEA/XMtlSviPYg/Tjj0 uNJ2nz3On07uZADpsBaNzbpYAA0JLSksGGkKFwb4cE2nexWt/a5ePF/81XrUll9wBKCMIY kpSMKxp+GPE54+gZcjZZMJFK+MZuV1HmxcUJtGaY/wwtTRYr++WJMW4k8RrF+9yB2ipjGH Ko/6sTefg7OrWnWc6TakXSbkIDBOLqficHJUzEVdCZROba0t0+h6T7i7ZNo3UvrCfNokUt CfTyh2k45IfgdvpkeapT2guV4rv75oxSLTR5c6tZ/Otj/seC5m+DXYfiR5IweTVqHsImzw MS64bvOa/cMtq6Kw9WC7ckFQ57QnW044LhtqUGShX25TJzJq2lVi7eX0NDQv8XVrve8blU FrkmgG53f+iTcacUW7CVsSyCeSPiltE90bk/6UcfOAFpo0vOFWRPI19aE81hCjRWN0znov vJ3fnalE3FUDHw== -----END SSH SIGNATURE-----
-
comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1
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-----
-
comoproj-v2.6.2
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-----
-
comoex-v3.1.0 protected Release: comoex-v3.1.0
New Things: - New structured chapter about induction. - Improved documentation for the other chapters - Removed Restart/Undo-warnings -----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 awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgCThIK5xyO FmSQy7RNIDGqzc5PU9NabI1npBe8zEmJwpLeu00KSPbOGXhejvYCTl7N/MEsstJ66agkWo dTAPFWh/9ytViDlIYJBaD5lwzRO9fyJQTHCFg+mXOWyplgsXyhRRW9b+kDdYjZsKrb+wLy g0xrYGq66oKWJzhlwzw6FLcbbgTf/6lEBdCy4qdq3hELManYxmXArjW9IJbzA/LTM4InFY cWEjhs9BAzgdC7asQJq2xjBdhO2rFx8YtvhjJNt6b9SYL388U7d7tG9CCO25/LxhTgFNz/ 5v86mfiUFp3kPMfv4bozoDncD+/sBKSCYA56f/I/2T3mag2cS0eCHMm/2f4g812PslT3Jx wthG8cHpKZqA6pFgLdLwWuBzvN3TXLPdt6G5QKo3I8aFUiv1ab3Q8Dd1eVgOywsmsh8uon jk9G6d+WWSNLBfWKqKODI8CIWz5V/55VmqLXFNsrbfhA3kYwAXPHEbLcEteGjchSvhcOby 4cVUrg2iS2NtTg== -----END SSH SIGNATURE-----
-
comoex-v3.0.0 protected
included comoproj-v2.6.1 (LICENSE-Switch) -----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 awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgJPgvd/9zg pay4QYDx+ttVQRfh4/UmQvSRIT3cyuhTsszXsHDOlyDvRFYa49zfYZJTArYKbQZKcYyPrp zOtXIvyum4f7ZkAOX66/mAI79P52kEKjZKZKQfK1KOtfobpTHjmJJIFFiU2tUhlGwdr9Ip CJMXEw8ixdd84mDiLg9FIh3okgHhYFPfTG+bgljn7J11CtfZGlYzh4a7zqlUrSDBBT4EQq 1SEVAWUZIzu/ZAYwAax+kCUEIR6RGdfJMOb8L7tThb4h1oRmgXiqNkPWbdKk+bJUPnfw0Z uh+6jx23oRAFAW69VK9ltAhL51S3ZSlh7dYfFIbgz9x5THeRyXLe/VDoIft7+gil2sOIiu YDi6n9giWNYz6nFIU5CSto2ETxdVSULN6zl1uvpih5MdVuSb2UgYwyg6+hIHck7fm3SyYg 4VV2f6ojeektwT6sE01E0SLX1B488i+eO6RJeFbkJCpWb/3kBGPVMg7x1DWs6iV/ivZHqB +rSM41KiMgRNqA== -----END SSH SIGNATURE-----
-
comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1
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-----
-
comoproj-v2.3.1-coqc-8.16.1-ocaml-4.13.1
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-----
-
comoproj-v2.3.1-coqc-8.18.0-ocaml-4.13.1
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-----
-
comoproj-v2.6.1
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-----
-
comoproj-v2.6.0
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-----
-
comoproj-v2.5.0
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-----
-
comoproj-v2.4.1
html-folder for artifacts
-