-
-
Save aantron/ee672ff0dab0343772a199bab5e5cf8f to your computer and use it in GitHub Desktop.
opam init and update logs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[H[2J[3JFri Feb 26 14:35:23 MSK 2021 | |
00:00.012 CLI Parsing CLI version 2.1 | |
[NOTE] Will configure from built-in defaults. | |
00:00.012 CLIENT INIT | |
Checking for available remotes: rsync and local, git. | |
- you won't be able to use mercurial repositories unless you install the hg command on your system. | |
- you won't be able to use darcs repositories unless you install the darcs command on your system. | |
00:00.023 SYSTEM mkdir /home/antron/opam21 | |
00:00.023 SYSTEM mkdir /home/antron/opam21/opam-init | |
00:00.023 SYSTEM mkdir /home/antron/opam21/opam-init/hooks | |
00:00.025 FILE(config) Wrote /home/antron/opam21/config in 0.000s | |
00:00.025 SYSTEM mkdir /home/antron/opam21/repo | |
00:00.025 FILE(repos-config) Wrote /home/antron/opam21/repo/repos-config in 0.000s | |
00:00.025 CLIENT updating repository state | |
00:00.025 GSTATE LOAD-GLOBAL-STATE @ /home/antron/opam21 | |
00:00.032 RSTATE LOAD-REPOSITORY-STATE @ /home/antron/opam21 | |
00:00.036 RSTATE No cache found | |
00:00.036 RSTATE loaded opam files from repo default in 0.000s | |
00:00.036 CACHE(repository) Writing the repository cache to ~/opam21/repo/state.cache ... | |
00:00.036 CACHE(repository) ~/opam21/repo/state.cache written in 0.000s | |
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> | |
00:00.037 PARALLEL Iterate over 1 task(s) with 3 process(es) | |
00:00.037 PARALLEL Starting job 0 (worker 1/3): 0 | |
00:00.037 REPOSITORY update default from https://opam.ocaml.org | |
00:00.037 CURL pull-repo-update | |
00:00.037 SYSTEM mkdir /home/antron/opam21/repo/default.new | |
00:00.037 SYSTEM mkdir /tmp/opam-21286-f4dedb | |
00:00.038 SYSTEM mkdir /tmp/opam-xxx-21286 | |
00:00.039 PARALLEL Next task in job 0: /usr/bin/curl --write-out %{http_code}\n --retry 3 --retry-delay 2 --user-agent opam/2.1.0~beta4 -L -o /tmp/opam-21286-f4dedb/index.tar.gz.part -- https://opam.ocaml.org/index.tar.gz | |
Processing 1/1: [default: http] | |
+ /usr/bin/curl "--write-out" "%{http_code}\\n" "--retry" "3" "--retry-delay" "2" "--user-agent" "opam/2.1.0~beta4" "-L" "-o" "/tmp/opam-21286-f4dedb/index.tar.gz.part" "--" "https://opam.ocaml.org/index.tar.gz" | |
- % Total % Received % Xferd Average Speed Time Time Time Current | |
- Dload Upload Total Spent Left Speed | |
- | |
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 | |
0 3795k 0 32469 0 0 34726 0 0:01:51 --:--:-- 0:01:51 34689 | |
- | |
11 3795k 11 447k 0 0 241k 0 0:00:15 0:00:01 0:00:14 240k | |
- | |
26 3795k 26 1007k 0 0 352k 0 0:00:10 0:00:02 0:00:08 352k | |
- | |
50 3795k 50 1919k 0 0 491k 0 0:00:07 0:00:03 0:00:04 491k | |
- | |
77 3795k 77 2943k 0 0 604k 0 0:00:06 0:00:04 0:00:02 604k | |
- | |
100 3795k 100 3795k 0 0 694k 0 0:00:05 0:00:05 --:--:-- 830k | |
- 200 | |
00:05.548 PARALLEL Collected task for job 0 (ret:0) | |
+ /usr/bin/mv "/tmp/opam-21286-f4dedb/index.tar.gz.part" "/tmp/opam-21286-f4dedb/index.tar.gz" | |
00:05.564 PARALLEL Next task in job 0: /usr/bin/tar xfz /tmp/opam-21286-f4dedb/index.tar.gz -C /home/antron/opam21/repo/default.new | |
+ /usr/bin/tar "xfz" "/tmp/opam-21286-f4dedb/index.tar.gz" "-C" "/home/antron/opam21/repo/default.new" | |
00:15.600 PARALLEL Collected task for job 0 (ret:0) | |
00:15.601 SYSTEM rmdir /tmp/opam-21286-f4dedb | |
00:15.610 REPOSITORY default: applying update from scratch at /home/antron/opam21/repo/default.new | |
00:15.610 SYSTEM rmdir /home/antron/opam21/repo/default | |
+ /usr/bin/mv "/home/antron/opam21/repo/default.new" "/home/antron/opam21/repo/default" | |
[default] Initialised | |
00:15.929 PARALLEL Next task in job 0: /usr/bin/tar cfz /home/antron/opam21/repo/default.tar.gz.tmp -C /home/antron/opam21/repo default | |
Processing 1/1: | |
+ /usr/bin/tar "cfz" "/home/antron/opam21/repo/default.tar.gz.tmp" "-C" "/home/antron/opam21/repo" "default" | |
01:29.761 PARALLEL Collected task for job 0 (ret:0) | |
+ /usr/bin/mv "/home/antron/opam21/repo/default.tar.gz.tmp" "/home/antron/opam21/repo/default.tar.gz" | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.1/opam:66:0-66:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.10/opam:110:0-110:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.11.0/opam:62:0-62:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.11.1/opam:63:0-63:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.11.2/opam:65:0-65:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.12.0/opam:64:0-64:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.3/opam:68:0-68:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.4/opam:68:0-68:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.5/opam:76:0-76:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.6/opam:60:0-60:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.7/opam:60:0-60:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.8/opam:79:0-79:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/charrua-core/charrua-core.0.9/opam:110:0-110:17:: | |
Unknown package flags deprecated ignored | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.1.0.0/files/configure.sh" | |
- SHA512(/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.1.0.0/files/configure.sh)= 5ab8e6adac378413740efc3fb02eee8409a643f64bff32a3fb2e50853132fee2ed6a32bb46ce86fe79c5e416a90d14858635e08d5e6f3a7d1924ae98009bb217 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.10/files/configure.sh" | |
- SHA512(/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.10/files/configure.sh)= 8c95b2f06ce5bc161fd68ff8f8ddc0b9b7ea1a318732b79e4131d0adf9222662dd95a60becf28ef5db83fecf1081266a6ccf128864c019571948a232ba18fe82 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.11/files/configure.sh" | |
- SHA512(/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.11/files/configure.sh)= f935e0447465cce82dd90c01925400b724fe1e6760768eb4eb3b7b9a27109d214d0b040855f963292c79116cd4939840f0e321e32622cac4afdfec8b6a7d40ec | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.12/files/configure.sh" | |
- SHA512(/home/antron/opam21/repo/default/packages/conf-libclang/conf-libclang.12/files/configure.sh)= a192170b242769ffd1421a495e63354ddbb60bd810d8039d95e0cf7517b931d4fccfdd9d709977a9af16ee2b6c112023fbacf22f4bd67edec7ca9794c04c85f4 | |
[WARNING] At /home/antron/opam21/repo/default/packages/configurator/configurator.v0.10.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/configurator/configurator.v0.11.0/opam:35:0-35:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/configurator/configurator.v0.9.0/opam:37:0-37:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/configurator/configurator.v0.9.1/opam:36:0-36:17:: | |
Unknown package flags deprecated ignored | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.10.0/files/fix-parallel-make.patch" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.10.0/files/fix-parallel-make.patch)= 3801156db1d95bf35948599f366775afff72bbeef958e73321b1f9627220ef7ca61b402c478374f31a23db0f4394bafca5fa56c0708dfad589cad85bfa20d526 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.10.0/files/fix-meta-plugin.patch" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.10.0/files/fix-meta-plugin.patch)= 634b05c16b8776e0a7c252ac0822b1b5b3330a2ad42ef273823854f79b30d0eaceb57a4b935cf24bb88220fee1f8497210bcc16afa883be46ce292493185a815 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.10.0/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.10.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.10.1/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.10.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.10.2/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.10.2/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.11.0/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.11.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.11.1/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.11.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.11.2/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.11.2/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.12.0/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.12.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.12.1/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.12.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.12.2/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.12.2/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.13.0/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.13.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coq/coq.8.13.1/files/coq.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coq/coq.8.13.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.0/files/fix-parallel-make.patch" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.0/files/fix-parallel-make.patch)= 3801156db1d95bf35948599f366775afff72bbeef958e73321b1f9627220ef7ca61b402c478374f31a23db0f4394bafca5fa56c0708dfad589cad85bfa20d526 | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.0/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.0/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.1/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.1/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.2/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.10.2/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.11.0/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.11.0/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.11.1/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.11.1/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.11.2/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.11.2/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.12.0/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.12.0/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.12.1/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.12.1/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.12.2/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.12.2/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.13.0/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.13.0/files/coqide.install)= 3eba9f94c7cc2a4b9b4fc8be549d7e5b3125315360cc85fb1001ba25d2eb5fb174c358ba3295036dda44197ec068e18c0b2f3b341aaa77b73fdb75d1e7d5c27f | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/coqide/coqide.8.13.1/files/coqide.install" | |
- SHA512(/home/antron/opam21/repo/default/packages/coqide/coqide.8.13.1/files/coqide.install)= 3eba9f94c7cc2a4b9b4fc8be549d7e5b3125315360cc85fb1001ba25d2eb5fb174c358ba3295036dda44197ec068e18c0b2f3b341aaa77b73fdb75d1e7d5c27f | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers/expect_test_helpers.v0.10.0/opam:33:0-33:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers/expect_test_helpers.v0.11.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers/expect_test_helpers.v0.12.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers/expect_test_helpers.v0.13.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers/expect_test_helpers.v0.9.0/opam:33:0-33:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.10.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.11.0/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.12.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.13.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.9.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/io-page-xen/io-page-xen.0.1.0/opam:17:0-17:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/io-page-xen/io-page-xen.0.9.9/opam:17:0-17:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/io-page-xen/io-page-xen.2.0.0/opam:27:0-27:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/io-page-xen/io-page-xen.2.0.1/opam:27:0-27:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/io-page-xen/io-page-xen.2.1.0/opam:28:0-28:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/io-page-xen/io-page-xen.2.2.0/opam:28:0-28:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/io-page-xen/io-page-xen.2.3.0/opam:28:0-28:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/lwt-zmq/lwt-zmq.1.0-beta3/opam:22:0-22:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/lwt-zmq/lwt-zmq.1.0-beta4/opam:18:0-18:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/lwt-zmq/lwt-zmq.1.0.0/opam:21:0-21:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/lwt-zmq/lwt-zmq.2.0.0/opam:21:0-21:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/lwt-zmq/lwt-zmq.2.0.1/opam:23:0-23:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/lwt-zmq/lwt-zmq.2.1.0/opam:23:0-23:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.1.0.3/opam:71:0-71:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.1.3.0/opam:72:0-72:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.2.0.0/opam:17:0-17:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.2.1.0/opam:21:0-21:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.2.2.0/opam:23:0-23:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.2.3.0/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.2.3.1/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.3.0.0/opam:70:0-70:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.3.0.1/opam:68:0-68:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.3.1.0/opam:37:0-37:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-conduit/mirage-conduit.3.2.0/opam:44:0-44:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.3.0/opam:29:0-29:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.3.1/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.3.4/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.6.0/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.0/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.4/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.5/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.6/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.1.0/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.2.0/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.1/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.2/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.3/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/named-pipe/named-pipe.0.2/opam:33:0-33:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/named-pipe/named-pipe.0.3/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/named-pipe/named-pipe.0.4.0/opam:38:0-38:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~alpha1/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~alpha2/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~alpha3/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~beta1/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~beta2/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~rc1/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.12.0~alpha1+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.12.0~alpha2+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.12.0~alpha3+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.12.0~beta1+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.12.0~beta2+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.12.0~rc1+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.12.1+trunk/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /home/antron/opam21/repo/default/packages/ocaml-variants/ocaml-variants.4.13.0+trunk/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
+ /usr/bin/openssl "sha256" "/home/antron/opam21/repo/default/packages/tezos-clic/tezos-clic.7.4/files/with-re.patch" | |
- SHA256(/home/antron/opam21/repo/default/packages/tezos-clic/tezos-clic.7.4/files/with-re.patch)= 96ca06d5e11337ce9cac4cde13d05965f698946223a592e0c03c3abd4461ca3f | |
+ /usr/bin/openssl "sha256" "/home/antron/opam21/repo/default/packages/tezos-lmdb/tezos-lmdb.7.4/files/tezos-lmdb_under_freebsd.diff" | |
- SHA256(/home/antron/opam21/repo/default/packages/tezos-lmdb/tezos-lmdb.7.4/files/tezos-lmdb_under_freebsd.diff)= 5d41a9453e0750bb9cd10094de4280b68b3c9b9bc5e922a7e8c4dba49e0f1929 | |
+ /usr/bin/openssl "sha256" "/home/antron/opam21/repo/default/packages/tezos-stdlib-unix/tezos-stdlib-unix.7.4/files/with-re.patch" | |
- SHA256(/home/antron/opam21/repo/default/packages/tezos-stdlib-unix/tezos-stdlib-unix.7.4/files/with-re.patch)= 0d784d64fa2aa4059aa72dbbce8b064bab908a15a04322272130d2c361c039ac | |
+ /usr/bin/openssl "sha512" "/home/antron/opam21/repo/default/packages/z3/z3.4.8.5/files/4468.patch" | |
- SHA512(/home/antron/opam21/repo/default/packages/z3/z3.4.8.5/files/4468.patch)= d4cf90a4b3a9e9f1d07b1e6a04f89fb2c74e429d7e151bbc91841b54e34c8adbcd74183d79ed95c4df5d33b064dc715125523c7842cc3dfcc2b5b42ac83a244c | |
01:35.824 PARALLEL Job 0 finished | |
01:35.825 FILE(repos-config) Wrote /home/antron/opam21/repo/repos-config in 0.000s | |
01:35.829 CACHE(repository) Writing the repository cache to ~/opam21/repo/state.cache ... | |
01:35.955 CACHE(repository) ~/opam21/repo/state.cache written in 0.131s | |
01:35.961 SYSTEM rmdir /home/antron/opam21/repo/default | |
Fri Feb 26 14:37:21 MSK 2021 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[H[2J[3JFri Feb 26 14:38:49 MSK 2021 | |
00:00.012 CLI Parsing CLI version 2.1 | |
00:00.012 GSTATE LOAD-GLOBAL-STATE @ /home/antron/opam21 | |
00:00.012 CLIENT UPDATE | |
00:00.012 RSTATE LOAD-REPOSITORY-STATE @ /home/antron/opam21 | |
00:00.108 CACHE(repository) Loaded /home/antron/opam21/repo/state.cache in 0.086s | |
00:00.108 RSTATE Cache found | |
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> | |
00:00.135 PARALLEL Iterate over 1 task(s) with 3 process(es) | |
00:00.135 PARALLEL Starting job 0 (worker 1/3): 0 | |
00:00.135 SYSTEM mkdir /tmp/opam-21434-05d194 | |
00:00.143 SYSTEM mkdir /home/antron/opam21/log | |
+ /usr/bin/tar "xfz" "/home/antron/opam21/repo/default.tar.gz" "-C" "/tmp/opam-21434-05d194" | |
00:10.002 REPOSITORY update default from https://opam.ocaml.org | |
00:10.002 CURL pull-repo-update | |
00:10.002 SYSTEM mkdir /tmp/opam-21434-05d194/default.new | |
00:10.002 SYSTEM mkdir /tmp/opam-21434-8db8e7 | |
00:10.005 PARALLEL Next task in job 0: /usr/bin/curl --write-out %{http_code}\n --retry 3 --retry-delay 2 --user-agent opam/2.1.0~beta4 -L -o /tmp/opam-21434-8db8e7/index.tar.gz.part -- https://opam.ocaml.org/index.tar.gz | |
Processing 1/1: [default: http] | |
+ /usr/bin/curl "--write-out" "%{http_code}\\n" "--retry" "3" "--retry-delay" "2" "--user-agent" "opam/2.1.0~beta4" "-L" "-o" "/tmp/opam-21434-8db8e7/index.tar.gz.part" "--" "https://opam.ocaml.org/index.tar.gz" | |
- % Total % Received % Xferd Average Speed Time Time Time Current | |
- Dload Upload Total Spent Left Speed | |
- | |
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 | |
1 3795k 1 65237 0 0 67884 0 0:00:57 --:--:-- 0:00:57 67813 | |
- | |
20 3795k 20 783k 0 0 411k 0 0:00:09 0:00:01 0:00:08 411k | |
- | |
53 3795k 53 2047k 0 0 699k 0 0:00:05 0:00:02 0:00:03 699k | |
- | |
96 3795k 96 3647k 0 0 934k 0 0:00:04 0:00:03 0:00:01 934k | |
100 3795k 100 3795k 0 0 957k 0 0:00:03 0:00:03 --:--:-- 957k | |
- 200 | |
00:14.014 PARALLEL Collected task for job 0 (ret:0) | |
+ /usr/bin/mv "/tmp/opam-21434-8db8e7/index.tar.gz.part" "/tmp/opam-21434-8db8e7/index.tar.gz" | |
00:14.034 PARALLEL Next task in job 0: /usr/bin/tar xfz /tmp/opam-21434-8db8e7/index.tar.gz -C /tmp/opam-21434-05d194/default.new | |
+ /usr/bin/tar "xfz" "/tmp/opam-21434-8db8e7/index.tar.gz" "-C" "/tmp/opam-21434-05d194/default.new" | |
00:24.649 PARALLEL Collected task for job 0 (ret:0) | |
00:24.649 SYSTEM rmdir /tmp/opam-21434-8db8e7 | |
00:24.658 REPO_BACKEND diff: /tmp/opam-21434-05d194/{default,default.new} | |
00:24.660 PARALLEL Next task in job 0: /usr/bin/diff -ruaN default default.new | |
+ /usr/bin/diff "-ruaN" "default" "default.new" (CWD=/tmp/opam-21434-05d194) | |
01:51.346 PARALLEL Collected task for job 0 (ret:0) | |
01:51.346 SYSTEM rm /home/antron/opam21/log/patch-21434-323d42 | |
01:51.347 SYSTEM rmdir /tmp/opam-21434-05d194/default.new | |
02:13.577 REPOSITORY update empty, no validation performed | |
[default] no changes from https://opam.ocaml.org | |
02:13.577 REPOSITORY default: applying empty update | |
02:13.579 PARALLEL Next task in job 0: /usr/bin/tar cfz /home/antron/opam21/repo/default.tar.gz.tmp -C /tmp/opam-21434-05d194 default | |
Processing 1/1: | |
+ /usr/bin/tar "cfz" "/home/antron/opam21/repo/default.tar.gz.tmp" "-C" "/tmp/opam-21434-05d194" "default" | |
02:17.806 PARALLEL Collected task for job 0 (ret:0) | |
02:17.806 SYSTEM rm /home/antron/opam21/repo/default.tar.gz | |
+ /usr/bin/mv "/home/antron/opam21/repo/default.tar.gz.tmp" "/home/antron/opam21/repo/default.tar.gz" | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.1/opam:66:0-66:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.10/opam:110:0-110:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.11.0/opam:62:0-62:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.11.1/opam:63:0-63:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.11.2/opam:65:0-65:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.12.0/opam:64:0-64:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.3/opam:68:0-68:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.4/opam:68:0-68:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.5/opam:76:0-76:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.6/opam:60:0-60:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.7/opam:60:0-60:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.8/opam:79:0-79:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/charrua-core/charrua-core.0.9/opam:110:0-110:17:: | |
Unknown package flags deprecated ignored | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.1.0.0/files/configure.sh" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.1.0.0/files/configure.sh)= 5ab8e6adac378413740efc3fb02eee8409a643f64bff32a3fb2e50853132fee2ed6a32bb46ce86fe79c5e416a90d14858635e08d5e6f3a7d1924ae98009bb217 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.10/files/configure.sh" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.10/files/configure.sh)= 8c95b2f06ce5bc161fd68ff8f8ddc0b9b7ea1a318732b79e4131d0adf9222662dd95a60becf28ef5db83fecf1081266a6ccf128864c019571948a232ba18fe82 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.11/files/configure.sh" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.11/files/configure.sh)= f935e0447465cce82dd90c01925400b724fe1e6760768eb4eb3b7b9a27109d214d0b040855f963292c79116cd4939840f0e321e32622cac4afdfec8b6a7d40ec | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.12/files/configure.sh" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/conf-libclang/conf-libclang.12/files/configure.sh)= a192170b242769ffd1421a495e63354ddbb60bd810d8039d95e0cf7517b931d4fccfdd9d709977a9af16ee2b6c112023fbacf22f4bd67edec7ca9794c04c85f4 | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/configurator/configurator.v0.10.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/configurator/configurator.v0.11.0/opam:35:0-35:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/configurator/configurator.v0.9.0/opam:37:0-37:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/configurator/configurator.v0.9.1/opam:36:0-36:17:: | |
Unknown package flags deprecated ignored | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.0/files/fix-parallel-make.patch" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.0/files/fix-parallel-make.patch)= 3801156db1d95bf35948599f366775afff72bbeef958e73321b1f9627220ef7ca61b402c478374f31a23db0f4394bafca5fa56c0708dfad589cad85bfa20d526 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.0/files/fix-meta-plugin.patch" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.0/files/fix-meta-plugin.patch)= 634b05c16b8776e0a7c252ac0822b1b5b3330a2ad42ef273823854f79b30d0eaceb57a4b935cf24bb88220fee1f8497210bcc16afa883be46ce292493185a815 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.0/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.1/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.2/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.10.2/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.11.0/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.11.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.11.1/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.11.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.11.2/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.11.2/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.12.0/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.12.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.12.1/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.12.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.12.2/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.12.2/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.13.0/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.13.0/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coq/coq.8.13.1/files/coq.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coq/coq.8.13.1/files/coq.install)= b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.0/files/fix-parallel-make.patch" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.0/files/fix-parallel-make.patch)= 3801156db1d95bf35948599f366775afff72bbeef958e73321b1f9627220ef7ca61b402c478374f31a23db0f4394bafca5fa56c0708dfad589cad85bfa20d526 | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.0/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.0/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.1/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.1/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.2/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.10.2/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.11.0/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.11.0/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.11.1/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.11.1/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.11.2/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.11.2/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.12.0/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.12.0/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.12.1/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.12.1/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.12.2/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.12.2/files/coqide.install)= 0c59f0c3cf3453e92c02b29aceb31090020410d2b0dd2856172cd19b1b2b58b2a1d46047fb08a9c1d4767d87934c73ae6adfcb4204b1ea6a55a85ba75b2b812d | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.13.0/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.13.0/files/coqide.install)= 3eba9f94c7cc2a4b9b4fc8be549d7e5b3125315360cc85fb1001ba25d2eb5fb174c358ba3295036dda44197ec068e18c0b2f3b341aaa77b73fdb75d1e7d5c27f | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.13.1/files/coqide.install" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/coqide/coqide.8.13.1/files/coqide.install)= 3eba9f94c7cc2a4b9b4fc8be549d7e5b3125315360cc85fb1001ba25d2eb5fb174c358ba3295036dda44197ec068e18c0b2f3b341aaa77b73fdb75d1e7d5c27f | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers/expect_test_helpers.v0.10.0/opam:33:0-33:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers/expect_test_helpers.v0.11.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers/expect_test_helpers.v0.12.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers/expect_test_helpers.v0.13.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers/expect_test_helpers.v0.9.0/opam:33:0-33:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.10.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.11.0/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.12.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.13.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.9.0/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/io-page-xen/io-page-xen.0.1.0/opam:17:0-17:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/io-page-xen/io-page-xen.0.9.9/opam:17:0-17:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/io-page-xen/io-page-xen.2.0.0/opam:27:0-27:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/io-page-xen/io-page-xen.2.0.1/opam:27:0-27:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/io-page-xen/io-page-xen.2.1.0/opam:28:0-28:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/io-page-xen/io-page-xen.2.2.0/opam:28:0-28:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/io-page-xen/io-page-xen.2.3.0/opam:28:0-28:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/lwt-zmq/lwt-zmq.1.0-beta3/opam:22:0-22:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/lwt-zmq/lwt-zmq.1.0-beta4/opam:18:0-18:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/lwt-zmq/lwt-zmq.1.0.0/opam:21:0-21:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/lwt-zmq/lwt-zmq.2.0.0/opam:21:0-21:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/lwt-zmq/lwt-zmq.2.0.1/opam:23:0-23:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/lwt-zmq/lwt-zmq.2.1.0/opam:23:0-23:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.1.0.3/opam:71:0-71:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.1.3.0/opam:72:0-72:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.2.0.0/opam:17:0-17:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.2.1.0/opam:21:0-21:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.2.2.0/opam:23:0-23:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.2.3.0/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.2.3.1/opam:32:0-32:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.3.0.0/opam:70:0-70:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.3.0.1/opam:68:0-68:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.3.1.0/opam:37:0-37:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-conduit/mirage-conduit.3.2.0/opam:44:0-44:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.3.0/opam:29:0-29:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.3.1/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.3.4/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.2.6.0/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.0/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.4/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.5/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.0.6/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.1.0/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.2.0/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.0/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.1/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.2/opam:34:0-34:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/mirage-xen-ocaml/mirage-xen-ocaml.3.3.3/opam:30:0-30:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/named-pipe/named-pipe.0.2/opam:33:0-33:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/named-pipe/named-pipe.0.3/opam:31:0-31:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/named-pipe/named-pipe.0.4.0/opam:38:0-38:17:: | |
Unknown package flags deprecated ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~alpha1/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~alpha2/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~alpha3/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~beta1/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~beta2/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0~rc1/opam:17:0-17:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.12.0~alpha1+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.12.0~alpha2+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.12.0~alpha3+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.12.0~beta1+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.12.0~beta2+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.12.0~rc1+options/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.12.1+trunk/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
[WARNING] At /tmp/opam-21434-05d194/default/packages/ocaml-variants/ocaml-variants.4.13.0+trunk/opam:16:0-16:48:: | |
Unknown package flags avoid-version ignored | |
+ /usr/bin/openssl "sha256" "/tmp/opam-21434-05d194/default/packages/tezos-clic/tezos-clic.7.4/files/with-re.patch" | |
- SHA256(/tmp/opam-21434-05d194/default/packages/tezos-clic/tezos-clic.7.4/files/with-re.patch)= 96ca06d5e11337ce9cac4cde13d05965f698946223a592e0c03c3abd4461ca3f | |
+ /usr/bin/openssl "sha256" "/tmp/opam-21434-05d194/default/packages/tezos-lmdb/tezos-lmdb.7.4/files/tezos-lmdb_under_freebsd.diff" | |
- SHA256(/tmp/opam-21434-05d194/default/packages/tezos-lmdb/tezos-lmdb.7.4/files/tezos-lmdb_under_freebsd.diff)= 5d41a9453e0750bb9cd10094de4280b68b3c9b9bc5e922a7e8c4dba49e0f1929 | |
+ /usr/bin/openssl "sha256" "/tmp/opam-21434-05d194/default/packages/tezos-stdlib-unix/tezos-stdlib-unix.7.4/files/with-re.patch" | |
- SHA256(/tmp/opam-21434-05d194/default/packages/tezos-stdlib-unix/tezos-stdlib-unix.7.4/files/with-re.patch)= 0d784d64fa2aa4059aa72dbbce8b064bab908a15a04322272130d2c361c039ac | |
+ /usr/bin/openssl "sha512" "/tmp/opam-21434-05d194/default/packages/z3/z3.4.8.5/files/4468.patch" | |
- SHA512(/tmp/opam-21434-05d194/default/packages/z3/z3.4.8.5/files/4468.patch)= d4cf90a4b3a9e9f1d07b1e6a04f89fb2c74e429d7e151bbc91841b54e34c8adbcd74183d79ed95c4df5d33b064dc715125523c7842cc3dfcc2b5b42ac83a244c | |
02:24.015 PARALLEL Job 0 finished | |
02:24.016 FILE(repos-config) Wrote /home/antron/opam21/repo/repos-config in 0.000s | |
02:24.016 CACHE(repository) Writing the repository cache to ~/opam21/repo/state.cache ... | |
02:24.158 CACHE(repository) ~/opam21/repo/state.cache written in 0.142s | |
02:24.198 SYSTEM rmdir /tmp/opam-21434-05d194/default | |
02:46.236 SYSTEM rmdir /tmp/opam-21434-05d194 | |
Fri Feb 26 14:41:35 MSK 2021 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment