weixin_39686634
weixin_39686634
2020-12-26 07:37

Added proverif.1.96pl1

该提问来源于开源项目:ocaml/opam-repository

  • 点赞
  • 写回答
  • 关注问题
  • 收藏
  • 复制链接分享
  • 邀请回答

5条回答

  • weixin_39686634 weixin_39686634 4月前

    Bonjour, Désolé pour cette erreur. j'espère avoir fait les modifications nécessaires... Pourriez-vous me confirmer que c'est bien le cas ?

    Cordialement, Marc

    ----- Mail original -----

    De: "Anil Madhavapeddy" À: "ocaml/opam-repository" Cc: "marcsylvestre" , "Author" Envoyé: Lundi 9 Janvier 2017 15:55:23 Objet: Re: [ocaml/opam-repository] Added proverif.1.96pl1 (#8237)

    /home/opam/.opam/packages.dev/proverif.1.96pl1/proverif1.96pl1.tar.gz: - ae31b3c6c9d364fa1cc2f3047bb9167c [expected result] - c7cb0c7c61910bc5fdb7529a3a9c0ec0 [actual result] This may be fixed by running opam update.

    — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub , or mute the thread .

    点赞 评论 复制链接分享
  • weixin_39559486 weixin_39559486 4月前

    j'espère avoir fait les modifications nécessaires...

    Pour le savoir, faites un commit avec vos modifications (vous pouvez remplacer votre premier commit) et poussez le tout (git push -f) sur (la même branche de) votre dépôt. Les tests de ce PR tourneront à nouveau sur votre code modifié.

    点赞 评论 复制链接分享
  • weixin_39662578 weixin_39662578 4月前

    The checksums appear to be fixed. Thanks, now merged!

    点赞 评论 复制链接分享
  • weixin_39862899 weixin_39862899 4月前
    :exclamation: opam-lint warnings 57879d04f17532381632d2661f10c7c012662860
    • proverif.1.96pl1 has some warnings:

    • warning 37: Missing field 'dev-repo'

    :white_check_mark: Installability check (5981 → 5982)
    • new installable packages (1): proverif.1.96pl1
    点赞 评论 复制链接分享
  • weixin_39662578 weixin_39662578 4月前
    
            /home/opam/.opam/packages.dev/proverif.1.96pl1/proverif1.96pl1.tar.gz:
              - ae31b3c6c9d364fa1cc2f3047bb9167c [expected result]
              - c7cb0c7c61910bc5fdb7529a3a9c0ec0 [actual result]
            This may be fixed by running `opam update`.
    
    点赞 评论 复制链接分享

相关推荐