commit c5406d80659a41786f1a41ba2cc40d5066bf30c4 · anil.recoil.org/opam-repository

+1 -1

packages/coq-core/coq-core.8.17.0/opam

···

       61
        
       depopts: ["coq-native"]

     

       62
        
       

     

       63
        
       url {

     

       64
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"

     

       65
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       66
        
       }

···

       61
        
       depopts: ["coq-native"]

     

       62
        
       

     

       63
        
       url {

     

       64
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"

     

       65
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       66
        
       }

+1 -1

packages/coq-core/coq-core.8.17.1/opam

···

       60
        
       depopts: ["coq-native"]

     

       61
        
       

     

       62
        
       url {

     

       63
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"

     

       64
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       65
        
       }

···

       60
        
       depopts: ["coq-native"]

     

       61
        
       

     

       62
        
       url {

     

       63
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"

     

       64
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       65
        
       }

+1 -1

packages/coq-stdlib/coq-stdlib.8.17.0/opam

···

       48
        
       depopts: ["coq-native"]

     

       49
        
       

     

       50
        
       url {

     

       51
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"

     

       52
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       53
        
       }

···

       48
        
       depopts: ["coq-native"]

     

       49
        
       

     

       50
        
       url {

     

       51
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"

     

       52
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       53
        
       }

+1 -1

packages/coq-stdlib/coq-stdlib.8.17.1/opam

···

       48
        
       depopts: ["coq-native"]

     

       49
        
       

     

       50
        
       url {

     

       51
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"

     

       52
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       53
        
       }

···

       48
        
       depopts: ["coq-native"]

     

       49
        
       

     

       50
        
       url {

     

       51
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"

     

       52
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       53
        
       }

+1 -1

packages/coq/coq.8.10.0/opam

···

       40
        
                ]

     

       41
        
       

     

       42
        
       url {

     

       43
       -
         src: "https://github.com/coq/coq/archive/V8.10.0.tar.gz"

     

       44
        
         checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"

     

       45
        
       }

     

       46
        
       extra-source "fix-parallel-make.patch" {

···

       40
        
                ]

     

       41
        
       

     

       42
        
       url {

     

       43
       +
         src: "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0.tar.gz"

     

       44
        
         checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"

     

       45
        
       }

     

       46
        
       extra-source "fix-parallel-make.patch" {

+1 -1

packages/coq/coq.8.10.1/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.10.1.tar.gz"

     

       51
        
         checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1.tar.gz"

     

       51
        
         checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.10.2/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.10.2.tar.gz"

     

       51
        
         checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2.tar.gz"

     

       51
        
         checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.11.0/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.11.0.tar.gz"

     

       51
        
         checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0.tar.gz"

     

       51
        
         checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.11.1/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.11.1.tar.gz"

     

       51
        
         checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1.tar.gz"

     

       51
        
         checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.11.2/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.11.2.tar.gz"

     

       51
        
         checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2.tar.gz"

     

       51
        
         checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.12.0/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.12.0.tar.gz"

     

       51
        
         checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0.tar.gz"

     

       51
        
         checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.12.1/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.12.1.tar.gz"

     

       51
        
         checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1.tar.gz"

     

       51
        
         checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.12.2/opam

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       -
         src: "https://github.com/coq/coq/archive/V8.12.2.tar.gz"

     

       51
        
         checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

···

       47
        
       ]

     

       48
        
       

     

       49
        
       url {

     

       50
       +
         src: "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2.tar.gz"

     

       51
        
         checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"

     

       52
        
       }

     

       53
        
       extra-source "coq.install" {

+1 -1

packages/coq/coq.8.13.0/opam

···

       54
        
       patches: [ "disable_warn_70.patch" ]

     

       55
        
       

     

       56
        
       url {

     

       57
       -
         src: "https://github.com/coq/coq/archive/V8.13.0.tar.gz"

     

       58
        
         checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"

     

       59
        
       }

     

       60
        
       extra-source "disable_warn_70.patch" {

···

       54
        
       patches: [ "disable_warn_70.patch" ]

     

       55
        
       

     

       56
        
       url {

     

       57
       +
         src: "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0.tar.gz"

     

       58
        
         checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"

     

       59
        
       }

     

       60
        
       extra-source "disable_warn_70.patch" {

+1 -1

packages/coq/coq.8.13.1/opam

···

       54
        
       patches: [ "disable_warn_70.patch" ]

     

       55
        
       

     

       56
        
       url {

     

       57
       -
         src: "https://github.com/coq/coq/archive/V8.13.1.tar.gz"

     

       58
        
         checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"

     

       59
        
       }

     

       60
        
       extra-source "disable_warn_70.patch" {

···

       54
        
       patches: [ "disable_warn_70.patch" ]

     

       55
        
       

     

       56
        
       url {

     

       57
       +
         src: "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1.tar.gz"

     

       58
        
         checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"

     

       59
        
       }

     

       60
        
       extra-source "disable_warn_70.patch" {

+1 -1

packages/coq/coq.8.13.2/opam

···

       54
        
       patches: [ "disable_warn_70.patch" ]

     

       55
        
       

     

       56
        
       url {

     

       57
       -
         src: "https://github.com/coq/coq/archive/V8.13.2.tar.gz"

     

       58
        
         checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"

     

       59
        
       }

     

       60
        
       extra-source "disable_warn_70.patch" {

···

       54
        
       patches: [ "disable_warn_70.patch" ]

     

       55
        
       

     

       56
        
       url {

     

       57
       +
         src: "https://github.com/coq/coq/releases/download/V8.13.2/coq-8.13.2.tar.gz"

     

       58
        
         checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"

     

       59
        
       }

     

       60
        
       extra-source "disable_warn_70.patch" {

+1 -1

packages/coq/coq.8.14.0/opam

···

       52
        
       patches: [ "dune-install-set-root.patch" "ld_stricter.patch" "disable_warn_70.patch" ]

     

       53
        
       

     

       54
        
       url {

     

       55
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.14.0.tar.gz"

     

       56
        
         checksum: "sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"

     

       57
        
       }

     

       58
        
       extra-source "ld_stricter.patch" {

···

       52
        
       patches: [ "dune-install-set-root.patch" "ld_stricter.patch" "disable_warn_70.patch" ]

     

       53
        
       

     

       54
        
       url {

     

       55
       +
         src: "https://github.com/coq/coq/releases/download/V8.14.0/coq-8.14.0.tar.gz"

     

       56
        
         checksum: "sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"

     

       57
        
       }

     

       58
        
       extra-source "ld_stricter.patch" {

+1 -1

packages/coq/coq.8.14.1/opam

···

       52
        
       patches: [ "ld_stricter.patch" ]

     

       53
        
       

     

       54
        
       url {

     

       55
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.14.1.tar.gz"

     

       56
        
         checksum: "sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3"

     

       57
        
       }

     

       58
        
       extra-source "ld_stricter.patch" {

···

       52
        
       patches: [ "ld_stricter.patch" ]

     

       53
        
       

     

       54
        
       url {

     

       55
       +
         src: "https://github.com/coq/coq/releases/download/V8.14.1/coq-8.14.1.tar.gz"

     

       56
        
         checksum: "sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3"

     

       57
        
       }

     

       58
        
       extra-source "ld_stricter.patch" {

+1 -1

packages/coq/coq.8.15.0/opam

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.15.0.tar.gz"

     

       54
        
         checksum: "sha256=73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3"

     

       55
        
       }

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       +
         src: "https://github.com/coq/coq/releases/download/V8.15.0/coq-8.15.0.tar.gz"

     

       54
        
         checksum: "sha256=73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3"

     

       55
        
       }

+1 -1

packages/coq/coq.8.15.1/opam

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.15.1.tar.gz"

     

       54
        
         checksum: "sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2"

     

       55
        
       }

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       +
         src: "https://github.com/coq/coq/releases/download/V8.15.1/coq-8.15.1.tar.gz"

     

       54
        
         checksum: "sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2"

     

       55
        
       }

+1 -1

packages/coq/coq.8.15.2/opam

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.15.2.tar.gz"

     

       54
        
         checksum: "sha256=13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926"

     

       55
        
       }

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       +
         src: "https://github.com/coq/coq/releases/download/V8.15.2/coq-8.15.2.tar.gz"

     

       54
        
         checksum: "sha256=13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926"

     

       55
        
       }

+1 -1

packages/coq/coq.8.16.0/opam

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.16.0.tar.gz"

     

       54
        
         checksum: "sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587"

     

       55
        
       }

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       +
         src: "https://github.com/coq/coq/releases/download/V8.16.0/coq-8.16.0.tar.gz"

     

       54
        
         checksum: "sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587"

     

       55
        
       }

+1 -1

packages/coq/coq.8.16.1/opam

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.16.1.tar.gz"

     

       54
        
         checksum: "sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b"

     

       55
        
       }

···

       50
        
       ]

     

       51
        
       

     

       52
        
       url {

     

       53
       +
         src: "https://github.com/coq/coq/releases/download/V8.16.1/coq-8.16.1.tar.gz"

     

       54
        
         checksum: "sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b"

     

       55
        
       }

+1 -1

packages/coq/coq.8.17.0/opam

···

       40
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       41
        
       

     

       42
        
       url {

     

       43
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"

     

       44
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       45
        
       }

···

       40
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       41
        
       

     

       42
        
       url {

     

       43
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"

     

       44
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       45
        
       }

+1 -1

packages/coq/coq.8.17.1/opam

···

       40
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       41
        
       

     

       42
        
       url {

     

       43
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"

     

       44
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       45
        
       }

···

       40
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       41
        
       

     

       42
        
       url {

     

       43
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"

     

       44
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       45
        
       }

+1 -1

packages/coq/coq.8.7.0/opam

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       -
         src: "https://github.com/coq/coq/archive/V8.7.0.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297"

     

       69
        
           "md5=4d79181b17c63fe5287aeaf6263077e7"

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       +
         src: "https://github.com/coq/coq/releases/download/V8.7.0/coq-8.7.0.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297"

     

       69
        
           "md5=4d79181b17c63fe5287aeaf6263077e7"

+1 -1

packages/coq/coq.8.7.1+1/opam

···

       65
        
       synopsis: "Formal proof management system"

     

       66
        
       flags: light-uninstall

     

       67
        
       url {

     

       68
       -
         src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"

     

       69
        
         checksum: [

     

       70
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       71
        
           "md5=15347f45471e2d5277c60585297cd3e0"

···

       65
        
       synopsis: "Formal proof management system"

     

       66
        
       flags: light-uninstall

     

       67
        
       url {

     

       68
       +
         src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"

     

       69
        
         checksum: [

     

       70
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       71
        
           "md5=15347f45471e2d5277c60585297cd3e0"

+1 -1

packages/coq/coq.8.7.1+2/opam

···

       67
        
       synopsis: "Formal proof management system"

     

       68
        
       flags: light-uninstall

     

       69
        
       url {

     

       70
       -
         src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"

     

       71
        
         checksum: [

     

       72
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       73
        
           "md5=15347f45471e2d5277c60585297cd3e0"

···

       67
        
       synopsis: "Formal proof management system"

     

       68
        
       flags: light-uninstall

     

       69
        
       url {

     

       70
       +
         src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"

     

       71
        
         checksum: [

     

       72
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       73
        
           "md5=15347f45471e2d5277c60585297cd3e0"

+1 -1

packages/coq/coq.8.7.1/opam

···

       62
        
       synopsis: "Formal proof management system"

     

       63
        
       flags: light-uninstall

     

       64
        
       url {

     

       65
       -
         src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"

     

       66
        
         checksum: [

     

       67
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       68
        
           "md5=15347f45471e2d5277c60585297cd3e0"

···

       62
        
       synopsis: "Formal proof management system"

     

       63
        
       flags: light-uninstall

     

       64
        
       url {

     

       65
       +
         src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"

     

       66
        
         checksum: [

     

       67
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       68
        
           "md5=15347f45471e2d5277c60585297cd3e0"

+1 -1

packages/coq/coq.8.7.2/opam

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       -
         src: "https://github.com/coq/coq/archive/V8.7.2.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"

     

       69
        
           "md5=470c8f2bd74a085e1f71d5e4770e64e7"

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       +
         src: "https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"

     

       69
        
           "md5=470c8f2bd74a085e1f71d5e4770e64e7"

+1 -1

packages/coq/coq.8.8.0/opam

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       -
         src: "https://github.com/coq/coq/archive/V8.8.0.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"

     

       69
        
           "md5=9c97bb78eb051178d8b3731ae042c73f"

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       +
         src: "https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"

     

       69
        
           "md5=9c97bb78eb051178d8b3731ae042c73f"

+1 -1

packages/coq/coq.8.8.1/opam

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       -
         src: "https://github.com/coq/coq/archive/V8.8.1.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"

     

       69
        
           "md5=2dc320d35d4b1ffce5db1dc92c3aeb24"

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       +
         src: "https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"

     

       69
        
           "md5=2dc320d35d4b1ffce5db1dc92c3aeb24"

+1 -1

packages/coq/coq.8.8.2/opam

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       -
         src: "https://github.com/coq/coq/archive/V8.8.2.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"

     

       69
        
           "md5=5d693cd1953a0dd74920b43d183bc26c"

···

       63
        
       synopsis: "Formal proof management system"

     

       64
        
       flags: light-uninstall

     

       65
        
       url {

     

       66
       +
         src: "https://github.com/coq/coq/releases/download/V8.8.2/coq-8.8.2.tar.gz"

     

       67
        
         checksum: [

     

       68
        
           "sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"

     

       69
        
           "md5=5d693cd1953a0dd74920b43d183bc26c"

+1 -1

packages/coq/coq.8.9.0/opam

···

       58
        
       synopsis: "Formal proof management system"

     

       59
        
       flags: light-uninstall

     

       60
        
       url {

     

       61
       -
         src: "https://github.com/coq/coq/archive/V8.9.0.tar.gz"

     

       62
        
         checksum: [

     

       63
        
           "sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"

     

       64
        
           "md5=490c89609c1271fe7f20e6ea1bd107b5"

···

       58
        
       synopsis: "Formal proof management system"

     

       59
        
       flags: light-uninstall

     

       60
        
       url {

     

       61
       +
         src: "https://github.com/coq/coq/releases/download/V8.9.0/coq-8.9.0.tar.gz"

     

       62
        
         checksum: [

     

       63
        
           "sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"

     

       64
        
           "md5=490c89609c1271fe7f20e6ea1bd107b5"

+1 -1

packages/coq/coq.8.9.1/opam

···

       40
        
       patches: ["ocaml408_compat.patch"]

     

       41
        
       

     

       42
        
       url {

     

       43
       -
         src: "https://github.com/coq/coq/archive/V8.9.1.tar.gz"

     

       44
        
         checksum: [

     

       45
        
           "sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"

     

       46
        
           "md5=b0e47c588ca498073ad35eb5627a8852"

···

       40
        
       patches: ["ocaml408_compat.patch"]

     

       41
        
       

     

       42
        
       url {

     

       43
       +
         src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"

     

       44
        
         checksum: [

     

       45
        
           "sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"

     

       46
        
           "md5=b0e47c588ca498073ad35eb5627a8852"

+1 -1

packages/coqide-server/coqide-server.8.17.0/opam

···

       35
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"

     

       39
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       40
        
       }

···

       35
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"

     

       39
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       40
        
       }

+1 -1

packages/coqide-server/coqide-server.8.17.1/opam

···

       35
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"

     

       39
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       40
        
       }

···

       35
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"

     

       39
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.10.0/opam

···

       36
        
       patches: ["fix-parallel-make.patch"]

     

       37
        
       

     

       38
        
       url {

     

       39
       -
         src: "https://github.com/coq/coq/archive/V8.10.0.tar.gz"

     

       40
        
         checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"

     

       41
        
       }

     

       42
        
       extra-source "fix-parallel-make.patch" {

···

       36
        
       patches: ["fix-parallel-make.patch"]

     

       37
        
       

     

       38
        
       url {

     

       39
       +
         src: "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0.tar.gz"

     

       40
        
         checksum: "sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724"

     

       41
        
       }

     

       42
        
       extra-source "fix-parallel-make.patch" {

+1 -1

packages/coqide/coqide.8.10.1/opam

···

       40
        
       ]

     

       41
        
       

     

       42
        
       url {

     

       43
       -
         src: "https://github.com/coq/coq/archive/V8.10.1.tar.gz"

     

       44
        
         checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"

     

       45
        
       }

     

       46
        
       extra-source "coqide.install" {

···

       40
        
       ]

     

       41
        
       

     

       42
        
       url {

     

       43
       +
         src: "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1.tar.gz"

     

       44
        
         checksum: "sha512=5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc"

     

       45
        
       }

     

       46
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.10.2/opam

···

       40
        
       ]

     

       41
        
       

     

       42
        
       url {

     

       43
       -
         src: "https://github.com/coq/coq/archive/V8.10.2.tar.gz"

     

       44
        
         checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"

     

       45
        
       }

     

       46
        
       extra-source "coqide.install" {

···

       40
        
       ]

     

       41
        
       

     

       42
        
       url {

     

       43
       +
         src: "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2.tar.gz"

     

       44
        
         checksum: "sha512=80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f"

     

       45
        
       }

     

       46
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.11.0/opam

···

       40
        
       ]

     

       41
        
       

     

       42
        
       url {

     

       43
       -
         src: "https://github.com/coq/coq/archive/V8.11.0.tar.gz"

     

       44
        
         checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"

     

       45
        
       }

     

       46
        
       extra-source "coqide.install" {

···

       40
        
       ]

     

       41
        
       

     

       42
        
       url {

     

       43
       +
         src: "https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0.tar.gz"

     

       44
        
         checksum: "sha512=db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89"

     

       45
        
       }

     

       46
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.11.1/opam

···

       41
        
       ]

     

       42
        
       

     

       43
        
       url {

     

       44
       -
         src: "https://github.com/coq/coq/archive/V8.11.1.tar.gz"

     

       45
        
         checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"

     

       46
        
       }

     

       47
        
       extra-source "coqide.install" {

···

       41
        
       ]

     

       42
        
       

     

       43
        
       url {

     

       44
       +
         src: "https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1.tar.gz"

     

       45
        
         checksum: "sha512=974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5"

     

       46
        
       }

     

       47
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.11.2/opam

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       -
         src: "https://github.com/coq/coq/archive/V8.11.2.tar.gz"

     

       46
        
         checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       +
         src: "https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2.tar.gz"

     

       46
        
         checksum: "sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.12.0/opam

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       -
         src: "https://github.com/coq/coq/archive/V8.12.0.tar.gz"

     

       46
        
         checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       +
         src: "https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0.tar.gz"

     

       46
        
         checksum: "sha512=8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.12.1/opam

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       -
         src: "https://github.com/coq/coq/archive/V8.12.1.tar.gz"

     

       46
        
         checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       +
         src: "https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1.tar.gz"

     

       46
        
         checksum: "sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.12.2/opam

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       -
         src: "https://github.com/coq/coq/archive/V8.12.2.tar.gz"

     

       46
        
         checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       +
         src: "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2.tar.gz"

     

       46
        
         checksum: "sha512=6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.13.0/opam

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       -
         src: "https://github.com/coq/coq/archive/V8.13.0.tar.gz"

     

       46
        
         checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       +
         src: "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0.tar.gz"

     

       46
        
         checksum: "sha256=06445dbd6cb3c8a2e4e957dbd12e094d609a62fcb0c8c3cad0cd1fdedda25c9b"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.13.1/opam

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       -
         src: "https://github.com/coq/coq/archive/V8.13.1.tar.gz"

     

       46
        
         checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       +
         src: "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1.tar.gz"

     

       46
        
         checksum: "sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.13.2/opam

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       -
         src: "https://github.com/coq/coq/archive/V8.13.2.tar.gz"

     

       46
        
         checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

···

       42
        
       ]

     

       43
        
       

     

       44
        
       url {

     

       45
       +
         src: "https://github.com/coq/coq/releases/download/V8.13.2/coq-8.13.2.tar.gz"

     

       46
        
         checksum: "sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14"

     

       47
        
       }

     

       48
        
       extra-source "coqide.install" {

+1 -1

packages/coqide/coqide.8.14.0/opam

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.14.0.tar.gz"

     

       39
        
         checksum: "sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"

     

       40
        
       }

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.14.0/coq-8.14.0.tar.gz"

     

       39
        
         checksum: "sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.14.1/opam

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.14.1.tar.gz"

     

       39
        
         checksum: "sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3"

     

       40
        
       }

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.14.1/coq-8.14.1.tar.gz"

     

       39
        
         checksum: "sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.15.0/opam

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.15.0.tar.gz"

     

       39
        
         checksum: "sha256=73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3"

     

       40
        
       }

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.15.0/coq-8.15.0.tar.gz"

     

       39
        
         checksum: "sha256=73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.15.1/opam

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.15.1.tar.gz"

     

       39
        
         checksum: "sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2"

     

       40
        
       }

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.15.1/coq-8.15.1.tar.gz"

     

       39
        
         checksum: "sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.15.2/opam

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.15.2.tar.gz"

     

       39
        
         checksum: "sha256=13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926"

     

       40
        
       }

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.15.2/coq-8.15.2.tar.gz"

     

       39
        
         checksum: "sha256=13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.16.0/opam

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.16.0.tar.gz"

     

       39
        
         checksum: "sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587"

     

       40
        
       }

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.16.0/coq-8.16.0.tar.gz"

     

       39
        
         checksum: "sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.16.1/opam

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.16.1.tar.gz"

     

       39
        
         checksum: "sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b"

     

       40
        
       }

···

       35
        
       ]

     

       36
        
       

     

       37
        
       url {

     

       38
       +
         src: "https://github.com/coq/coq/releases/download/V8.16.1/coq-8.16.1.tar.gz"

     

       39
        
         checksum: "sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b"

     

       40
        
       }

+1 -1

packages/coqide/coqide.8.17.0/opam

···

       39
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       40
        
       

     

       41
        
       url {

     

       42
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"

     

       43
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       44
        
       }

···

       39
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       40
        
       

     

       41
        
       url {

     

       42
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0.tar.gz"

     

       43
        
         checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"

     

       44
        
       }

+1 -1

packages/coqide/coqide.8.17.1/opam

···

       39
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       40
        
       

     

       41
        
       url {

     

       42
       -
         src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"

     

       43
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       44
        
       }

···

       39
        
       dev-repo: "git+https://github.com/coq/coq.git"

     

       40
        
       

     

       41
        
       url {

     

       42
       +
         src: "https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1.tar.gz"

     

       43
        
         checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"

     

       44
        
       }

+1 -1

packages/coqide/coqide.8.7.1/opam

···

       37
        
       synopsis: "IDE of the Coq formal proof management system."

     

       38
        
       flags: light-uninstall

     

       39
        
       url {

     

       40
       -
         src: "https://github.com/coq/coq/archive/V8.7.1.tar.gz"

     

       41
        
         checksum: [

     

       42
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       43
        
           "md5=15347f45471e2d5277c60585297cd3e0"

···

       37
        
       synopsis: "IDE of the Coq formal proof management system."

     

       38
        
       flags: light-uninstall

     

       39
        
       url {

     

       40
       +
         src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"

     

       41
        
         checksum: [

     

       42
        
           "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"

     

       43
        
           "md5=15347f45471e2d5277c60585297cd3e0"

+1 -1

packages/coqide/coqide.8.7.2/opam

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       -
         src: "https://github.com/coq/coq/archive/V8.7.2.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"

     

       44
        
           "md5=470c8f2bd74a085e1f71d5e4770e64e7"

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       +
         src: "https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"

     

       44
        
           "md5=470c8f2bd74a085e1f71d5e4770e64e7"

+1 -1

packages/coqide/coqide.8.8.0/opam

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       -
         src: "https://github.com/coq/coq/archive/V8.8.0.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"

     

       44
        
           "md5=9c97bb78eb051178d8b3731ae042c73f"

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       +
         src: "https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d"

     

       44
        
           "md5=9c97bb78eb051178d8b3731ae042c73f"

+1 -1

packages/coqide/coqide.8.8.1/opam

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       -
         src: "https://github.com/coq/coq/archive/V8.8.1.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"

     

       44
        
           "md5=2dc320d35d4b1ffce5db1dc92c3aeb24"

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       +
         src: "https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d"

     

       44
        
           "md5=2dc320d35d4b1ffce5db1dc92c3aeb24"

+1 -1

packages/coqide/coqide.8.8.2/opam

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       -
         src: "https://github.com/coq/coq/archive/V8.8.2.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"

     

       44
        
           "md5=5d693cd1953a0dd74920b43d183bc26c"

···

       38
        
       synopsis: "IDE of the Coq formal proof management system."

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       +
         src: "https://github.com/coq/coq/releases/download/V8.8.2/coq-8.8.2.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"

     

       44
        
           "md5=5d693cd1953a0dd74920b43d183bc26c"

+1 -1

packages/coqide/coqide.8.9.0/opam

···

       38
        
       synopsis: "IDE of the Coq formal proof management system"

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       -
         src: "https://github.com/coq/coq/archive/V8.9.0.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"

     

       44
        
           "md5=490c89609c1271fe7f20e6ea1bd107b5"

···

       38
        
       synopsis: "IDE of the Coq formal proof management system"

     

       39
        
       flags: light-uninstall

     

       40
        
       url {

     

       41
       +
         src: "https://github.com/coq/coq/releases/download/V8.9.0/coq-8.9.0.tar.gz"

     

       42
        
         checksum: [

     

       43
        
           "sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"

     

       44
        
           "md5=490c89609c1271fe7f20e6ea1bd107b5"

+1 -1

packages/coqide/coqide.8.9.1/opam

···

       37
        
       ]

     

       38
        
       

     

       39
        
       url {

     

       40
       -
         src: "https://github.com/coq/coq/archive/V8.9.1.tar.gz"

     

       41
        
         checksum: [

     

       42
        
           "sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"

     

       43
        
           "md5=b0e47c588ca498073ad35eb5627a8852"

···

       37
        
       ]

     

       38
        
       

     

       39
        
       url {

     

       40
       +
         src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"

     

       41
        
         checksum: [

     

       42
        
           "sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"

     

       43
        
           "md5=b0e47c588ca498073ad35eb5627a8852"