weixin_39790738
weixin_39790738
2020-12-26 07:42

added ProVerif version 2.01

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

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

5条回答

  • weixin_39862899 weixin_39862899 4月前

    Commit: 4fbeec1d5d1b6b075b59381d682308e34a375bac

    -blanchet has posted 9 contributions.

    :sun_behind_small_cloud: opam-lint warnings 4fbeec1d5d1b6b075b59381d682308e34a375bac
    • proverif.2.01 has some warnings:

    • warning 37: Missing field 'dev-repo'

    • proverifdoc.2.01 has some warnings:

    • warning 37: Missing field 'dev-repo'

    :sun_behind_small_cloud: Installability check (+1)
    • new installable packages (1): proverifdoc.2.01
    • new broken packages (1): proverif.2.01
    点赞 评论 复制链接分享
  • weixin_39790738 weixin_39790738 4月前

    I do not really understand why camelus says "new broken packages (1): proverif.2.01". The message is not very explicit, and the other tests work, so is the package really broken? If you can help me, that would be great. Thanks a lot.

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

    "broken packages" for Camelus means "package that cannot be installed (anymore)"

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

    however in this case the CI could check that it indeed works and Camelus just took this branch alone without merging our master in to do the check. Your branch is very old (the last commit before this one was from 2017) so some packages might have been missing then.

    It looks fine otherwise. I'll open an issue on Camelus to also take into account master not just the branch

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

    Thanks

    点赞 评论 复制链接分享

相关推荐