diff options
| author |   Matteo Bernardini | 2022-02-24 22:24:24 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2022-02-25 16:58:10 +0100 |
| commit | 33064fb6bf044cd2992d0aaee95a3698a2bcff4b (patch) | |
| tree | bbfead402990d95086b481fb4807fbdde3fe5034 /academic/coq/coq.info | |
| parent | d7b1f822e73692f28be77975bcf7113836468df1 (diff) | |
| download | slackbuilds-33064fb6bf044cd2992d0aaee95a3698a2bcff4b.tar.gz | |
system/opam: Updated for version 2.1.2.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.info')
0 files changed, 0 insertions, 0 deletions