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

+1 -1

packages/feat/feat.20201231/opam

···

       19
        
       synopsis: "Facilities for enumerating and sampling algebraic data types"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/feat/repository/20201231/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=84c4cb2a3579d6f7cb37564b47907519"

     

       25
        
           "sha512=9031651c9b2ce9c9d6bfa2a913e5df7ae993bccd6790cdae07768762258e2f942495033921f996fd8ed6885c177c7e3207bd24d27d25a0afbe358d82eda74fa2"

···

       19
        
       synopsis: "Facilities for enumerating and sampling algebraic data types"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/feat/-/archive/20201231/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=84c4cb2a3579d6f7cb37564b47907519"

     

       25
        
           "sha512=9031651c9b2ce9c9d6bfa2a913e5df7ae993bccd6790cdae07768762258e2f942495033921f996fd8ed6885c177c7e3207bd24d27d25a0afbe358d82eda74fa2"

+1 -1

packages/fix/fix.20181206/opam

···

       16
        
       synopsis: "Facilities for memoization and fixed points"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       -
           "https://gitlab.inria.fr/fpottier/fix/repository/20181206/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=ae129ed3822149a7f8c98f975512e534"

     

       22
        
           "sha512=1db240ff0a87200979bf4308e2110a37631f280e36c5f53dde767579ca63992a760eaeb6e1fc9a41c3f3a63d3dc29a3361114ad304cb09e83945ab4213ff5f6d"

···

       16
        
       synopsis: "Facilities for memoization and fixed points"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       +
           "https://gitlab.inria.fr/fpottier/fix/-/archive/20181206/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=ae129ed3822149a7f8c98f975512e534"

     

       22
        
           "sha512=1db240ff0a87200979bf4308e2110a37631f280e36c5f53dde767579ca63992a760eaeb6e1fc9a41c3f3a63d3dc29a3361114ad304cb09e83945ab4213ff5f6d"

+1 -1

packages/fix/fix.20200131/opam

···

       16
        
       synopsis: "Facilities for memoization and fixed points"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       -
           "https://gitlab.inria.fr/fpottier/fix/repository/20200131/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=991ff031666c662eaab638d2e0f4ac1d"

     

       22
        
           "sha512=01c45a1d90b02ec0939e968b185a6a373ac6117e2287b9a26d3db9d71e9569d086cea50da60710fcab5c2ed9d3b4c72b76839c0651e436f1fb39c77dc7c04b5e"

···

       16
        
       synopsis: "Facilities for memoization and fixed points"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       +
           "https://gitlab.inria.fr/fpottier/fix/-/archive/20200131/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=991ff031666c662eaab638d2e0f4ac1d"

     

       22
        
           "sha512=01c45a1d90b02ec0939e968b185a6a373ac6117e2287b9a26d3db9d71e9569d086cea50da60710fcab5c2ed9d3b4c72b76839c0651e436f1fb39c77dc7c04b5e"

+1 -1

packages/fix/fix.20201120/opam

···

       16
        
       synopsis: "Facilities for memoization and fixed points"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       -
           "https://gitlab.inria.fr/fpottier/fix/repository/20201120/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=7eb570b759635fe66f3556d2b1cc88e3"

     

       22
        
           "sha512=344dcc619f9e8b8a6c998775b6d2dab2ea5253e6a67abe4797f76dc5dd30bc776568abce1e90477422e9db447821579889737e3531c42139708f813e983ea5d4"

···

       16
        
       synopsis: "Facilities for memoization and fixed points"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       +
           "https://gitlab.inria.fr/fpottier/fix/-/archive/20201120/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=7eb570b759635fe66f3556d2b1cc88e3"

     

       22
        
           "sha512=344dcc619f9e8b8a6c998775b6d2dab2ea5253e6a67abe4797f76dc5dd30bc776568abce1e90477422e9db447821579889737e3531c42139708f813e983ea5d4"

+1 -1

packages/inferno/inferno.20180405/opam

···

       24
        
       synopsis: "A library for constraint-based Hindley-Milner type inference."

     

       25
        
       url {

     

       26
        
         src:

     

       27
       -
           "https://gitlab.inria.fr/fpottier/inferno/repository/20180405/archive.tar.gz"

     

       28
        
         checksum: "md5=6e7baf540152bb1f715d051087bf8c6a"

     

       29
        
       }

···

       24
        
       synopsis: "A library for constraint-based Hindley-Milner type inference."

     

       25
        
       url {

     

       26
        
         src:

     

       27
       +
           "https://gitlab.inria.fr/fpottier/inferno/-/archive/20180405/archive.tar.gz"

     

       28
        
         checksum: "md5=6e7baf540152bb1f715d051087bf8c6a"

     

       29
        
       }

+1 -1

packages/inferno/inferno.20190924/opam

···

       17
        
       ]

     

       18
        
       url {

     

       19
        
         src:

     

       20
       -
           "https://gitlab.inria.fr/fpottier/inferno/repository/20190924/archive.tar.gz"

     

       21
        
         checksum: [

     

       22
        
           "md5=85e6b46c16685c11e8356cc0f757f5f3"

     

       23
        
           "sha512=106c7418acc0793a828937690641719415088a5e69c92a49cc157506e7ce85e4dd318642cd0835876621faa2d1efdbd69bb5745fcfe76d484ca22a3b155b8e83"

···

       17
        
       ]

     

       18
        
       url {

     

       19
        
         src:

     

       20
       +
           "https://gitlab.inria.fr/fpottier/inferno/-/archive/20190924/archive.tar.gz"

     

       21
        
         checksum: [

     

       22
        
           "md5=85e6b46c16685c11e8356cc0f757f5f3"

     

       23
        
           "sha512=106c7418acc0793a828937690641719415088a5e69c92a49cc157506e7ce85e4dd318642cd0835876621faa2d1efdbd69bb5745fcfe76d484ca22a3b155b8e83"

+1 -1

packages/inferno/inferno.20201001/opam

···

       17
        
       ]

     

       18
        
       url {

     

       19
        
         src:

     

       20
       -
           "https://gitlab.inria.fr/fpottier/inferno/repository/20201001/archive.tar.gz"

     

       21
        
         checksum: [

     

       22
        
           "md5=c669a9084bcd34c8f557b87f1a3c7d85"

     

       23
        
           "sha512=548d1d332e8ab4e0bdd2f9b922c2389b59ed5657bf9ad57b652d1ca4fdf6bf83cebcc0ecec3475d1b1ab44c2fc5d2adbaa618ed5a7c0427dc9798f1167229e12"

···

       17
        
       ]

     

       18
        
       url {

     

       19
        
         src:

     

       20
       +
           "https://gitlab.inria.fr/fpottier/inferno/-/archive/20201001/archive.tar.gz"

     

       21
        
         checksum: [

     

       22
        
           "md5=c669a9084bcd34c8f557b87f1a3c7d85"

     

       23
        
           "sha512=548d1d332e8ab4e0bdd2f9b922c2389b59ed5657bf9ad57b652d1ca4fdf6bf83cebcc0ecec3475d1b1ab44c2fc5d2adbaa618ed5a7c0427dc9798f1167229e12"

+1 -1

packages/inferno/inferno.20201104/opam

···

       17
        
       ]

     

       18
        
       url {

     

       19
        
         src:

     

       20
       -
           "https://gitlab.inria.fr/fpottier/inferno/repository/20201104/archive.tar.gz"

     

       21
        
         checksum: [

     

       22
        
           "md5=5c8c0c3f8d9e696f7b00ef2134260289"

     

       23
        
           "sha512=cb5702928e0d6c7c0b3a58d261bcc86a964f57d6fb629de8110a17a0a98664022be4243b76419030f04d37d39f2f721c84f938cf6260d65b68933b2016d78c86"

···

       17
        
       ]

     

       18
        
       url {

     

       19
        
         src:

     

       20
       +
           "https://gitlab.inria.fr/fpottier/inferno/-/archive/20201104/archive.tar.gz"

     

       21
        
         checksum: [

     

       22
        
           "md5=5c8c0c3f8d9e696f7b00ef2134260289"

     

       23
        
           "sha512=cb5702928e0d6c7c0b3a58d261bcc86a964f57d6fb629de8110a17a0a98664022be4243b76419030f04d37d39f2f721c84f938cf6260d65b68933b2016d78c86"

+1 -1

packages/menhir/menhir.20181026/opam

···

       24
        
       synopsis: "An LR(1) parser generator"

     

       25
        
       url {

     

       26
        
         src:

     

       27
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20181026/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=7047bcffbdc50cffd70012f4da2210ec"

     

       30
        
           "sha512=1101a0e0a33625e11700a7a909334fdf4d2600acf8aa629b4de1982185a4aa8320b3eaa87db75b4c76dd4663f6e5b77740f70b92c6a109ba3496db6eeae4479b"

···

       24
        
       synopsis: "An LR(1) parser generator"

     

       25
        
       url {

     

       26
        
         src:

     

       27
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20181026/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=7047bcffbdc50cffd70012f4da2210ec"

     

       30
        
           "sha512=1101a0e0a33625e11700a7a909334fdf4d2600acf8aa629b4de1982185a4aa8320b3eaa87db75b4c76dd4663f6e5b77740f70b92c6a109ba3496db6eeae4479b"

+1 -1

packages/menhir/menhir.20181113/opam

···

       24
        
       synopsis: "An LR(1) parser generator"

     

       25
        
       url {

     

       26
        
         src:

     

       27
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20181113/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=69ce441a06ea131cd43e7b44c4303f3c"

     

       30
        
           "sha512=4ddefcd71d305bfb933a4056da57e36c13c99ec6dfcc4695814798fbbd78b4d65828381ebcb0e58c4c0394105ac763af3d475474e05e408f7080315bc3cf6176"

···

       24
        
       synopsis: "An LR(1) parser generator"

     

       25
        
       url {

     

       26
        
         src:

     

       27
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20181113/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=69ce441a06ea131cd43e7b44c4303f3c"

     

       30
        
           "sha512=4ddefcd71d305bfb933a4056da57e36c13c99ec6dfcc4695814798fbbd78b4d65828381ebcb0e58c4c0394105ac763af3d475474e05e408f7080315bc3cf6176"

+1 -1

packages/menhir/menhir.20190613/opam

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20190613/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=23c380e23903e1974c923f3a6ff25ad4"

     

       27
        
           "sha512=0a929803068771bcc785abd94d37966fdb84f515f7f82393e685d44cc6e18144f62f2e00e0a7bf9b69f87c2c4bb9e33435878322d26b8fc37f7756fd84bc6f46"

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20190613/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=23c380e23903e1974c923f3a6ff25ad4"

     

       27
        
           "sha512=0a929803068771bcc785abd94d37966fdb84f515f7f82393e685d44cc6e18144f62f2e00e0a7bf9b69f87c2c4bb9e33435878322d26b8fc37f7756fd84bc6f46"

+1 -1

packages/menhir/menhir.20190620/opam

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20190620/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=f77d327a6203dfa031a9b94466b0c560"

     

       27
        
           "sha512=7f21e60353219a70a3a037a1e77422aa11465d532335114b184dcefb5570c88070cb2f052351710dd13adcd3c0a15a3e8439b41b8ba4583dab71f6ce26d397f0"

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20190620/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=f77d327a6203dfa031a9b94466b0c560"

     

       27
        
           "sha512=7f21e60353219a70a3a037a1e77422aa11465d532335114b184dcefb5570c88070cb2f052351710dd13adcd3c0a15a3e8439b41b8ba4583dab71f6ce26d397f0"

+1 -1

packages/menhir/menhir.20190626/opam

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20190626/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=783961f8d124449a1a335cc8e50f013f"

     

       27
        
           "sha512=bacc5161682130d894a6476fb79363aa73e5582543265a0c23c9a1f9d974007c04853dc8f6faa2b8bd2e82b2323b8604dcc4cb74308af667698079b394dfd492"

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20190626/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=783961f8d124449a1a335cc8e50f013f"

     

       27
        
           "sha512=bacc5161682130d894a6476fb79363aa73e5582543265a0c23c9a1f9d974007c04853dc8f6faa2b8bd2e82b2323b8604dcc4cb74308af667698079b394dfd492"

+1 -1

packages/menhir/menhir.20190924/opam

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20190924/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=677f1997fb73177d5a00fa1b8d61c3ef"

     

       27
        
           "sha512=ea8a9a6d773529cf6ac05e4c6c4532770fbb8e574c9b646efcefe90d9f24544741e3e8cfd94c8afea0447e34059a8c79c2829b46764ce3a3d6dcb3e7f75980fc"

···

       21
        
       synopsis: "An LR(1) parser generator"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=677f1997fb73177d5a00fa1b8d61c3ef"

     

       27
        
           "sha512=ea8a9a6d773529cf6ac05e4c6c4532770fbb8e574c9b646efcefe90d9f24544741e3e8cfd94c8afea0447e34059a8c79c2829b46764ce3a3d6dcb3e7f75980fc"

+1 -1

packages/menhir/menhir.20200123/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200123/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=91aeae45fbf781e82ec3fe636be6ad49"

     

       25
        
           "sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200123/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=91aeae45fbf781e82ec3fe636be6ad49"

     

       25
        
           "sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f"

+1 -1

packages/menhir/menhir.20200211/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200211/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=01577e5f15380c35bdaa8fd818204560"

     

       25
        
           "sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200211/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=01577e5f15380c35bdaa8fd818204560"

     

       25
        
           "sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6"

+1 -1

packages/menhir/menhir.20200525/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200525/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=382b76757ae8343f42bca7de3bd70efb"

     

       25
        
           "sha512=d5cf05b9174fff08922b8a815188cc353ae756dd2ea50df634d407e3bc13c083765b756f484ad08545e8fade36b622f8c498ebb13d0398d724e87bf8bcdfd580"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200525/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=382b76757ae8343f42bca7de3bd70efb"

     

       25
        
           "sha512=d5cf05b9174fff08922b8a815188cc353ae756dd2ea50df634d407e3bc13c083765b756f484ad08545e8fade36b622f8c498ebb13d0398d724e87bf8bcdfd580"

+1 -1

packages/menhir/menhir.20200612/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200612/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=eb1c13439a00195ee01e4a2e83b3e991"

     

       25
        
           "sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200612/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=eb1c13439a00195ee01e4a2e83b3e991"

     

       25
        
           "sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167"

+1 -1

packages/menhir/menhir.20200619/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200619/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=6e35cccd708480b5662b5d1903adf069"

     

       25
        
           "sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200619/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=6e35cccd708480b5662b5d1903adf069"

     

       25
        
           "sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1"

+1 -1

packages/menhir/menhir.20200624/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200624/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=c37ff53a4a69059e1f8223067b91bb8b"

     

       25
        
           "sha512=68cd165bd65c93fc9b14820a032b6d760674b3e811d8536c2e26e10f9fc5892720564f109484f12f8d08d849c2983c2eaf350d76ab1122a5b8a3c7674ab2bd39"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200624/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=c37ff53a4a69059e1f8223067b91bb8b"

     

       25
        
           "sha512=68cd165bd65c93fc9b14820a032b6d760674b3e811d8536c2e26e10f9fc5892720564f109484f12f8d08d849c2983c2eaf350d76ab1122a5b8a3c7674ab2bd39"

+1 -1

packages/menhir/menhir.20201122/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201122/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=9ad6a5f88aab6ec677b970e0d9de1763"

     

       25
        
           "sha512=9174e74cfb2336c5008c7461411ba79190e673d310da99117e363f60782bcf9a4bb26a04f6448cf6f3ed7888aa2b5b04d38c32e6d86594accfaadbbb72528068"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201122/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=9ad6a5f88aab6ec677b970e0d9de1763"

     

       25
        
           "sha512=9174e74cfb2336c5008c7461411ba79190e673d310da99117e363f60782bcf9a4bb26a04f6448cf6f3ed7888aa2b5b04d38c32e6d86594accfaadbbb72528068"

+1 -1

packages/menhir/menhir.20201201/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201201/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=ca1047954bfe8c857425dc67eee46272"

     

       25
        
           "sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201201/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=ca1047954bfe8c857425dc67eee46272"

     

       25
        
           "sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb"

+1 -1

packages/menhir/menhir.20201214/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201214/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=888ae1ae315c82ca8d56bc115cfa40c2"

     

       25
        
           "sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201214/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=888ae1ae315c82ca8d56bc115cfa40c2"

     

       25
        
           "sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92"

+1 -1

packages/menhir/menhir.20201216/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201216/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=f27f8f5dedd316eff4c02d9130fced49"

     

       25
        
           "sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201216/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=f27f8f5dedd316eff4c02d9130fced49"

     

       25
        
           "sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c"

+1 -1

packages/menhir/menhir.20210310/opam

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20210310/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"

     

       25
        
           "sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"

···

       19
        
       synopsis: "An LR(1) parser generator"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20210310/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"

     

       25
        
           "sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"

+1 -1

packages/menhir/menhir.20210419/opam

···

       20
        
       synopsis: "An LR(1) parser generator"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20210419/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=1af2d137eb20811c74ca516500164fd4"

     

       26
        
           "sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98"

···

       20
        
       synopsis: "An LR(1) parser generator"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20210419/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=1af2d137eb20811c74ca516500164fd4"

     

       26
        
           "sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98"

+1 -1

packages/menhirLib/menhirLib.20200123/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200123/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=91aeae45fbf781e82ec3fe636be6ad49"

     

       26
        
           "sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200123/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=91aeae45fbf781e82ec3fe636be6ad49"

     

       26
        
           "sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f"

+1 -1

packages/menhirLib/menhirLib.20200211/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200211/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=01577e5f15380c35bdaa8fd818204560"

     

       26
        
           "sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200211/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=01577e5f15380c35bdaa8fd818204560"

     

       26
        
           "sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6"

+1 -1

packages/menhirLib/menhirLib.20200525/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200525/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=382b76757ae8343f42bca7de3bd70efb"

     

       26
        
           "sha512=d5cf05b9174fff08922b8a815188cc353ae756dd2ea50df634d407e3bc13c083765b756f484ad08545e8fade36b622f8c498ebb13d0398d724e87bf8bcdfd580"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200525/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=382b76757ae8343f42bca7de3bd70efb"

     

       26
        
           "sha512=d5cf05b9174fff08922b8a815188cc353ae756dd2ea50df634d407e3bc13c083765b756f484ad08545e8fade36b622f8c498ebb13d0398d724e87bf8bcdfd580"

+1 -1

packages/menhirLib/menhirLib.20200612/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200612/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=eb1c13439a00195ee01e4a2e83b3e991"

     

       26
        
           "sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200612/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=eb1c13439a00195ee01e4a2e83b3e991"

     

       26
        
           "sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167"

+1 -1

packages/menhirLib/menhirLib.20200619/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200619/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=6e35cccd708480b5662b5d1903adf069"

     

       26
        
           "sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200619/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=6e35cccd708480b5662b5d1903adf069"

     

       26
        
           "sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1"

+1 -1

packages/menhirLib/menhirLib.20200624/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200624/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=c37ff53a4a69059e1f8223067b91bb8b"

     

       26
        
           "sha512=68cd165bd65c93fc9b14820a032b6d760674b3e811d8536c2e26e10f9fc5892720564f109484f12f8d08d849c2983c2eaf350d76ab1122a5b8a3c7674ab2bd39"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200624/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=c37ff53a4a69059e1f8223067b91bb8b"

     

       26
        
           "sha512=68cd165bd65c93fc9b14820a032b6d760674b3e811d8536c2e26e10f9fc5892720564f109484f12f8d08d849c2983c2eaf350d76ab1122a5b8a3c7674ab2bd39"

+1 -1

packages/menhirLib/menhirLib.20201122/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201122/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=9ad6a5f88aab6ec677b970e0d9de1763"

     

       26
        
           "sha512=9174e74cfb2336c5008c7461411ba79190e673d310da99117e363f60782bcf9a4bb26a04f6448cf6f3ed7888aa2b5b04d38c32e6d86594accfaadbbb72528068"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201122/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=9ad6a5f88aab6ec677b970e0d9de1763"

     

       26
        
           "sha512=9174e74cfb2336c5008c7461411ba79190e673d310da99117e363f60782bcf9a4bb26a04f6448cf6f3ed7888aa2b5b04d38c32e6d86594accfaadbbb72528068"

+1 -1

packages/menhirLib/menhirLib.20201201/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201201/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=ca1047954bfe8c857425dc67eee46272"

     

       26
        
           "sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201201/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=ca1047954bfe8c857425dc67eee46272"

     

       26
        
           "sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb"

+1 -1

packages/menhirLib/menhirLib.20201214/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201214/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=888ae1ae315c82ca8d56bc115cfa40c2"

     

       26
        
           "sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201214/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=888ae1ae315c82ca8d56bc115cfa40c2"

     

       26
        
           "sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92"

+1 -1

packages/menhirLib/menhirLib.20201216/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201216/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=f27f8f5dedd316eff4c02d9130fced49"

     

       26
        
           "sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201216/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=f27f8f5dedd316eff4c02d9130fced49"

     

       26
        
           "sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c"

+1 -1

packages/menhirLib/menhirLib.20210310/opam

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20210310/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"

     

       26
        
           "sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"

···

       20
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20210310/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"

     

       26
        
           "sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"

+1 -1

packages/menhirLib/menhirLib.20210419/opam

···

       21
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20210419/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=1af2d137eb20811c74ca516500164fd4"

     

       27
        
           "sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98"

···

       21
        
       synopsis: "Runtime support library for parsers generated by Menhir"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20210419/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=1af2d137eb20811c74ca516500164fd4"

     

       27
        
           "sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98"

+1 -1

packages/menhirSdk/menhirSdk.20200123/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200123/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=91aeae45fbf781e82ec3fe636be6ad49"

     

       26
        
           "sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200123/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=91aeae45fbf781e82ec3fe636be6ad49"

     

       26
        
           "sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f"

+1 -1

packages/menhirSdk/menhirSdk.20200211/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200211/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=01577e5f15380c35bdaa8fd818204560"

     

       26
        
           "sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200211/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=01577e5f15380c35bdaa8fd818204560"

     

       26
        
           "sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6"

+1 -1

packages/menhirSdk/menhirSdk.20200525/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200525/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=382b76757ae8343f42bca7de3bd70efb"

     

       26
        
           "sha512=d5cf05b9174fff08922b8a815188cc353ae756dd2ea50df634d407e3bc13c083765b756f484ad08545e8fade36b622f8c498ebb13d0398d724e87bf8bcdfd580"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200525/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=382b76757ae8343f42bca7de3bd70efb"

     

       26
        
           "sha512=d5cf05b9174fff08922b8a815188cc353ae756dd2ea50df634d407e3bc13c083765b756f484ad08545e8fade36b622f8c498ebb13d0398d724e87bf8bcdfd580"

+1 -1

packages/menhirSdk/menhirSdk.20200612/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200612/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=eb1c13439a00195ee01e4a2e83b3e991"

     

       26
        
           "sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200612/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=eb1c13439a00195ee01e4a2e83b3e991"

     

       26
        
           "sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167"

+1 -1

packages/menhirSdk/menhirSdk.20200619/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200619/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=6e35cccd708480b5662b5d1903adf069"

     

       26
        
           "sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200619/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=6e35cccd708480b5662b5d1903adf069"

     

       26
        
           "sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1"

+1 -1

packages/menhirSdk/menhirSdk.20200624/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20200624/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=c37ff53a4a69059e1f8223067b91bb8b"

     

       26
        
           "sha512=68cd165bd65c93fc9b14820a032b6d760674b3e811d8536c2e26e10f9fc5892720564f109484f12f8d08d849c2983c2eaf350d76ab1122a5b8a3c7674ab2bd39"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20200624/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=c37ff53a4a69059e1f8223067b91bb8b"

     

       26
        
           "sha512=68cd165bd65c93fc9b14820a032b6d760674b3e811d8536c2e26e10f9fc5892720564f109484f12f8d08d849c2983c2eaf350d76ab1122a5b8a3c7674ab2bd39"

+1 -1

packages/menhirSdk/menhirSdk.20201122/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201122/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=9ad6a5f88aab6ec677b970e0d9de1763"

     

       26
        
           "sha512=9174e74cfb2336c5008c7461411ba79190e673d310da99117e363f60782bcf9a4bb26a04f6448cf6f3ed7888aa2b5b04d38c32e6d86594accfaadbbb72528068"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201122/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=9ad6a5f88aab6ec677b970e0d9de1763"

     

       26
        
           "sha512=9174e74cfb2336c5008c7461411ba79190e673d310da99117e363f60782bcf9a4bb26a04f6448cf6f3ed7888aa2b5b04d38c32e6d86594accfaadbbb72528068"

+1 -1

packages/menhirSdk/menhirSdk.20201201/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201201/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=ca1047954bfe8c857425dc67eee46272"

     

       26
        
           "sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201201/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=ca1047954bfe8c857425dc67eee46272"

     

       26
        
           "sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb"

+1 -1

packages/menhirSdk/menhirSdk.20201214/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201214/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=888ae1ae315c82ca8d56bc115cfa40c2"

     

       26
        
           "sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201214/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=888ae1ae315c82ca8d56bc115cfa40c2"

     

       26
        
           "sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92"

+1 -1

packages/menhirSdk/menhirSdk.20201216/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20201216/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=f27f8f5dedd316eff4c02d9130fced49"

     

       26
        
           "sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20201216/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=f27f8f5dedd316eff4c02d9130fced49"

     

       26
        
           "sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c"

+1 -1

packages/menhirSdk/menhirSdk.20210310/opam

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20210310/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"

     

       26
        
           "sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"

···

       20
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20210310/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"

     

       26
        
           "sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"

+1 -1

packages/menhirSdk/menhirSdk.20210419/opam

···

       21
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       -
           "https://gitlab.inria.fr/fpottier/menhir/repository/20210419/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=1af2d137eb20811c74ca516500164fd4"

     

       27
        
           "sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98"

···

       21
        
       synopsis: "Compile-time library for auxiliary tools related to Menhir"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       +
           "https://gitlab.inria.fr/fpottier/menhir/-/archive/20210419/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=1af2d137eb20811c74ca516500164fd4"

     

       27
        
           "sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98"

+1 -1

packages/monolith/monolith.20200609/opam

···

       18
        
       synopsis: "A framework for testing a library using afl-fuzz"

     

       19
        
       url {

     

       20
        
         src:

     

       21
       -
           "https://gitlab.inria.fr/fpottier/monolith/repository/20200609/archive.tar.gz"

     

       22
        
         checksum: [

     

       23
        
           "md5=23616fea1b28fb5309ced2e52e8b2c19"

     

       24
        
           "sha512=c0f8235ef4e0a6093f21233d154d6018cf87072639f2f7e069da494aea6bc1eb2a282a14090f4fc9fc1924ed7884a71cbd0a8b862c8a991feb6279c05f387c04"

···

       18
        
       synopsis: "A framework for testing a library using afl-fuzz"

     

       19
        
       url {

     

       20
        
         src:

     

       21
       +
           "https://gitlab.inria.fr/fpottier/monolith/-/archive/20200609/archive.tar.gz"

     

       22
        
         checksum: [

     

       23
        
           "md5=23616fea1b28fb5309ced2e52e8b2c19"

     

       24
        
           "sha512=c0f8235ef4e0a6093f21233d154d6018cf87072639f2f7e069da494aea6bc1eb2a282a14090f4fc9fc1924ed7884a71cbd0a8b862c8a991feb6279c05f387c04"

+1 -1

packages/monolith/monolith.20201026/opam

···

       19
        
       synopsis: "A framework for testing a library using afl-fuzz"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       -
           "https://gitlab.inria.fr/fpottier/monolith/repository/20201026/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=940ff10c3d46c3f34324ffb05bea23d0"

     

       25
        
           "sha512=0aaebb5550643319acbac005afc8ef603cffa68ff16e31742da2c6f7b6bc2e41d704b810a20b7b6611ca4a46664d124e413c978dd80f7b7095857b710bb9f34c"

···

       19
        
       synopsis: "A framework for testing a library using afl-fuzz"

     

       20
        
       url {

     

       21
        
         src:

     

       22
       +
           "https://gitlab.inria.fr/fpottier/monolith/-/archive/20201026/archive.tar.gz"

     

       23
        
         checksum: [

     

       24
        
           "md5=940ff10c3d46c3f34324ffb05bea23d0"

     

       25
        
           "sha512=0aaebb5550643319acbac005afc8ef603cffa68ff16e31742da2c6f7b6bc2e41d704b810a20b7b6611ca4a46664d124e413c978dd80f7b7095857b710bb9f34c"

+1 -1

packages/sek/sek.20200403/opam

···

       20
        
       synopsis: "An efficient implementation of ephemeral and persistent sequences"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       -
           "https://gitlab.inria.fr/fpottier/sek/repository/20200403/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=6dc3e44afe8d38309d80bb29eb68f53e"

     

       26
        
           "sha512=80df73f8e0a06be1b4552b0513e2b05e8e6ceddb8debaebc22e091ea422abdaf6fc7b4aeb7e0d7080d177be25ad1abf0e955cd63bc0481cce3c655d2bc6be12b"

···

       20
        
       synopsis: "An efficient implementation of ephemeral and persistent sequences"

     

       21
        
       url {

     

       22
        
         src:

     

       23
       +
           "https://gitlab.inria.fr/fpottier/sek/-/archive/20200403/archive.tar.gz"

     

       24
        
         checksum: [

     

       25
        
           "md5=6dc3e44afe8d38309d80bb29eb68f53e"

     

       26
        
           "sha512=80df73f8e0a06be1b4552b0513e2b05e8e6ceddb8debaebc22e091ea422abdaf6fc7b4aeb7e0d7080d177be25ad1abf0e955cd63bc0481cce3c655d2bc6be12b"

+1 -1

packages/sek/sek.20200618/opam

···

       21
        
       synopsis: "An efficient implementation of ephemeral and persistent sequences"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       -
           "https://gitlab.inria.fr/fpottier/sek/repository/20200618/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=cf541b6d254a5b76c600ce9b46452569"

     

       27
        
           "sha512=3a75ac74022234141f8423200070058a7b843e55a5db6bce3a311422e533e70ced956383926d819260e0b2cd06e3cdee340b656265c34e94f9cd0aa3bfbbab4f"

···

       21
        
       synopsis: "An efficient implementation of ephemeral and persistent sequences"

     

       22
        
       url {

     

       23
        
         src:

     

       24
       +
           "https://gitlab.inria.fr/fpottier/sek/-/archive/20200618/archive.tar.gz"

     

       25
        
         checksum: [

     

       26
        
           "md5=cf541b6d254a5b76c600ce9b46452569"

     

       27
        
           "sha512=3a75ac74022234141f8423200070058a7b843e55a5db6bce3a311422e533e70ced956383926d819260e0b2cd06e3cdee340b656265c34e94f9cd0aa3bfbbab4f"

+1 -1

packages/unionFind/unionFind.20190827/opam

···

       16
        
       synopsis: "Implementations of the union-find data structure"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       -
           "https://gitlab.inria.fr/fpottier/unionFind/repository/20190827/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=5fa4eaeba9ce2a83eacfdbbaeabe3c2b"

     

       22
        
           "sha512=0fe9ae31893a6159287b5528953ccda2d229a5ae90a22776b8e9861bba9953024bb4ab7ecdb60c46c43968229b4aaa2d9e5baedb4337f3a25086f2ae00e021c0"

···

       16
        
       synopsis: "Implementations of the union-find data structure"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       +
           "https://gitlab.inria.fr/fpottier/unionFind/-/archive/20190827/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=5fa4eaeba9ce2a83eacfdbbaeabe3c2b"

     

       22
        
           "sha512=0fe9ae31893a6159287b5528953ccda2d229a5ae90a22776b8e9861bba9953024bb4ab7ecdb60c46c43968229b4aaa2d9e5baedb4337f3a25086f2ae00e021c0"

+1 -1

packages/unionFind/unionFind.20200320/opam

···

       16
        
       synopsis: "Implementations of the union-find data structure"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       -
           "https://gitlab.inria.fr/fpottier/unionFind/repository/20200320/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=3311141704584930d9e7358ef0edf2f4"

     

       22
        
           "sha512=116dfd8078f697012f8b53f518d6e05fca09b1d57b7ce7724b0789bf6d2ecacc7efa462a6bbcdf486358ce17e84f5d106a7e799d9b44cbc0755e433fdd82b724"

···

       16
        
       synopsis: "Implementations of the union-find data structure"

     

       17
        
       url {

     

       18
        
         src:

     

       19
       +
           "https://gitlab.inria.fr/fpottier/unionFind/-/archive/20200320/archive.tar.gz"

     

       20
        
         checksum: [

     

       21
        
           "md5=3311141704584930d9e7358ef0edf2f4"

     

       22
        
           "sha512=116dfd8078f697012f8b53f518d6e05fca09b1d57b7ce7724b0789bf6d2ecacc7efa462a6bbcdf486358ce17e84f5d106a7e799d9b44cbc0755e433fdd82b724"

+1 -1

packages/visitors/visitors.20200207/opam

···

       24
        
       that knows how to traverse and transform a data structure."""

     

       25
        
       url {

     

       26
        
         src:

     

       27
       -
           "https://gitlab.inria.fr/fpottier/visitors/repository/20200207/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=37a67faaa74c2cb9647d3fd25a979b6c"

     

       30
        
           "sha512=feea43ccc6e2b7c48a5cceca7f38a78dcbf82fc8e334b22d643f4ce449b11fc4dcb1e500858a818a9b47dd4e30304bb90a450aff19daef969cc36e1f03af99a7"

···

       24
        
       that knows how to traverse and transform a data structure."""

     

       25
        
       url {

     

       26
        
         src:

     

       27
       +
           "https://gitlab.inria.fr/fpottier/visitors/-/archive/20200207/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=37a67faaa74c2cb9647d3fd25a979b6c"

     

       30
        
           "sha512=feea43ccc6e2b7c48a5cceca7f38a78dcbf82fc8e334b22d643f4ce449b11fc4dcb1e500858a818a9b47dd4e30304bb90a450aff19daef969cc36e1f03af99a7"

+1 -1

packages/visitors/visitors.20200210/opam

···

       24
        
       that knows how to traverse and transform a data structure."""

     

       25
        
       url {

     

       26
        
         src:

     

       27
       -
           "https://gitlab.inria.fr/fpottier/visitors/repository/20200210/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=67e71ef359301a52f38223f6e1ece7d3"

     

       30
        
           "sha512=1635a676c27a6ee4422d56546369b41eb7a611500fb8e3bb32934acd2d7e44b2250c95537e2570291c25940379e683e8f6a54ee443d3b1ebdaadad4f6c6ec973"

···

       24
        
       that knows how to traverse and transform a data structure."""

     

       25
        
       url {

     

       26
        
         src:

     

       27
       +
           "https://gitlab.inria.fr/fpottier/visitors/-/archive/20200210/archive.tar.gz"

     

       28
        
         checksum: [

     

       29
        
           "md5=67e71ef359301a52f38223f6e1ece7d3"

     

       30
        
           "sha512=1635a676c27a6ee4422d56546369b41eb7a611500fb8e3bb32934acd2d7e44b2250c95537e2570291c25940379e683e8f6a54ee443d3b1ebdaadad4f6c6ec973"

+1 -1

packages/visitors/visitors.20210127/opam

···

       23
        
       that knows how to traverse and transform a data structure."""

     

       24
        
       url {

     

       25
        
         src:

     

       26
       -
           "https://gitlab.inria.fr/fpottier/visitors/repository/20210127/archive.tar.gz"

     

       27
        
         checksum: [

     

       28
        
           "md5=b9e69f4f8f896a8c916e18551a4a4a95"

     

       29
        
           "sha512=2aa6aef225feedb790f3e89341ecf796b29e76604b0c2f2f9bea71ff5cd83c2cfcd0a496e60117e158ac78ae009002daa57df0b016b6bf7b08cd6d305a3fe7b6"

···

       23
        
       that knows how to traverse and transform a data structure."""

     

       24
        
       url {

     

       25
        
         src:

     

       26
       +
           "https://gitlab.inria.fr/fpottier/visitors/-/archive/20210127/archive.tar.gz"

     

       27
        
         checksum: [

     

       28
        
           "md5=b9e69f4f8f896a8c916e18551a4a4a95"

     

       29
        
           "sha512=2aa6aef225feedb790f3e89341ecf796b29e76604b0c2f2f9bea71ff5cd83c2cfcd0a496e60117e158ac78ae009002daa57df0b016b6bf7b08cd6d305a3fe7b6"

+1 -1

packages/visitors/visitors.20210316/opam

···

       23
        
       that knows how to traverse and transform a data structure."""

     

       24
        
       url {

     

       25
        
         src:

     

       26
       -
           "https://gitlab.inria.fr/fpottier/visitors/repository/20210316/archive.tar.gz"

     

       27
        
         checksum: [

     

       28
        
           "md5=090496ab5efb67528eb6f202cd1d1f06"

     

       29
        
           "sha512=9d0c3b3be64ca162a9d01531713c3b0d42514533a2e9a4ef8e8b73703e4fb853a3f10147c8454976587af570fc8fd513250354b3e1dfcb50640ca5cc542f19e1"

···

       23
        
       that knows how to traverse and transform a data structure."""

     

       24
        
       url {

     

       25
        
         src:

     

       26
       +
           "https://gitlab.inria.fr/fpottier/visitors/-/archive/20210316/archive.tar.gz"

     

       27
        
         checksum: [

     

       28
        
           "md5=090496ab5efb67528eb6f202cd1d1f06"

     

       29
        
           "sha512=9d0c3b3be64ca162a9d01531713c3b0d42514533a2e9a4ef8e8b73703e4fb853a3f10147c8454976587af570fc8fd513250354b3e1dfcb50640ca5cc542f19e1"