weixin_39790738
weixin_39790738
2020-12-25 18:32

added ProVerif version 2.02

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

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

4条回答

  • weixin_39862899 weixin_39862899 4月前

    Commit: 02dfa6cc402510cedbd0923dadab8ed46123a34e

    -blanchet has posted 11 contributions.

    :sun_behind_small_cloud: opam-lint warnings 02dfa6cc402510cedbd0923dadab8ed46123a34e
    • proverif.2.02 has some warnings:

    • warning 37: Missing field 'dev-repo'

    • proverifdoc.2.02 has some warnings:

    • warning 37: Missing field 'dev-repo'

    :sunny: Installability check (+2)
    • new installable packages (2): proverif.2.02 proverifdoc.2.02
    点赞 评论 复制链接分享
  • weixin_39790738 weixin_39790738 4月前

    The error in the travis-ci does not seem to be my fault (GTK+ is missing, which prevents the installation of lablgtk, on which proverif depends). Could you please accept the merge request? Thanks.

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

    Sorry for the time this took

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

    Thanks

    点赞 评论 复制链接分享

相关推荐