about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/equations
diff options
context:
space:
mode:
authorzowoq <59103226+zowoq@users.noreply.github.com>2020-06-28 13:49:13 +1000
committerzowoq <59103226+zowoq@users.noreply.github.com>2020-06-30 16:21:07 +1000
commit3f3f8099adf463eee3bad7064d78485e79a9108b (patch)
treee627bbeef562ed42e7d78e36dffc14a52971edc7 /pkgs/development/coq-modules/equations
parent9287f066edc9531d1b0612d211acc2ae46f84a84 (diff)
downloadnixlib-3f3f8099adf463eee3bad7064d78485e79a9108b.tar
nixlib-3f3f8099adf463eee3bad7064d78485e79a9108b.tar.gz
nixlib-3f3f8099adf463eee3bad7064d78485e79a9108b.tar.bz2
nixlib-3f3f8099adf463eee3bad7064d78485e79a9108b.tar.lz
nixlib-3f3f8099adf463eee3bad7064d78485e79a9108b.tar.xz
nixlib-3f3f8099adf463eee3bad7064d78485e79a9108b.tar.zst
nixlib-3f3f8099adf463eee3bad7064d78485e79a9108b.zip
umoci: 0.4.5 -> 0.4.6
https://github.com/opencontainers/umoci/releases/tag/v0.4.6

umoci has been adopted by the Open Container Initative as a reference
implementation of the OCI Image Specification.
Diffstat (limited to 'pkgs/development/coq-modules/equations')
0 files changed, 0 insertions, 0 deletions