{"action":"opened","issue":{"url":"https://api.github.com/repos/coq/coq/issues/8810","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/8810/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/8810/comments","events_url":"https://api.github.com/repos/coq/coq/issues/8810/events","html_url":"https://github.com/coq/coq/issues/8810","id":373348329,"node_id":"MDU6SXNzdWUzNzMzNDgzMjk=","number":8810,"title":"Why 'opam update' prints so many things?","user":{"login":"fblanqui","id":10852505,"node_id":"MDQ6VXNlcjEwODUyNTA1","avatar_url":"https://avatars2.githubusercontent.com/u/10852505?v=4","gravatar_id":"","url":"https://api.github.com/users/fblanqui","html_url":"https://github.com/fblanqui","followers_url":"https://api.github.com/users/fblanqui/followers","following_url":"https://api.github.com/users/fblanqui/following{/other_user}","gists_url":"https://api.github.com/users/fblanqui/gists{/gist_id}","starred_url":"https://api.github.com/users/fblanqui/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fblanqui/subscriptions","organizations_url":"https://api.github.com/users/fblanqui/orgs","repos_url":"https://api.github.com/users/fblanqui/repos","events_url":"https://api.github.com/users/fblanqui/events{/privacy}","received_events_url":"https://api.github.com/users/fblanqui/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-10-24T07:47:40Z","updated_at":"2018-10-24T07:47:40Z","closed_at":null,"author_association":"NONE","body":"<!-- Thank you for your contribution.\r\n     Please complete the following information when reporting a bug. -->\r\n\r\n#### Version\r\n\r\n<!-- You can get this information by running `coqtop -v`. -->\r\n\r\n09:46 ~/team-svn opam --version\r\n2.0.0\r\n\r\n#### Operating system\r\n\r\n09:43 ~/team-svn uname -a\r\nLinux 6600Fred 4.15.0-36-generic #39-Ubuntu SMP Mon Sep 24 16:19:09 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux\r\n\r\n#### Description of the problem\r\n\r\n<!-- It is helpful to provide enough information so that we can reproduce the bug.\r\n     In particular, please include a code example which produces it.\r\n     If the example is small, you can include it here between ``` ```.\r\n     Otherwise, please provide a link to a repository, a gist (https://gist.github.com)\r\n     or drag-and-drop a `.zip` archive. -->\r\n\r\nHello. When I do opam update, a lot of things is printed (see below). Is it possible to avoid this?\r\n\r\n<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>\r\n[coq-released] synchronised from http://coq.inria.fr/opam/released\r\n\r\n<><> Upgrading repositories from older opam format ><><><><><><><><><><><><><><>\r\nUpgrading repository \"coq-released\"...\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-aac-tactics/coq-aac-tactics.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-aac-tactics/coq-aac-tactics.8.5.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-aac-tactics/coq-aac-tactics.8.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-abp/coq-abp.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-additions/coq-additions.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ails/coq-ails.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-algebra/coq-algebra.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-amm11262/coq-amm11262.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-angles/coq-angles.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-area-method/coq-area-method.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-atbr/coq-atbr.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-automata/coq-automata.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-axiomatic-abp/coq-axiomatic-abp.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-bbv/coq-bbv.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-bdds/coq-bdds.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-bellantonicook/coq-bellantonicook.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-bertrand/coq-bertrand.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-bignums/coq-bignums.8.6.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-bignums/coq-bignums.8.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-bignums/coq-bignums.8.8.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-buchberger/coq-buchberger.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-canon-bdds/coq-canon-bdds.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cantor/coq-cantor.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cats-in-zfc/coq-cats-in-zfc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ccs/coq-ccs.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cecoa/coq-cecoa.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cfgv/coq-cfgv.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cfml/coq-cfml.20180525/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-charge-core/coq-charge-core.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-charge-core/coq-charge-core.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-charge-core/coq-charge-core.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-charge-core/coq-charge-core.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-checker/coq-checker.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-chinese/coq-chinese.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-circuits/coq-circuits.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-classical-realizability/coq-classical-realizability.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coalgebras/coq-coalgebras.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coinductive-examples/coq-coinductive-examples.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coinductive-reals/coq-coinductive-reals.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-color/coq-color.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-color/coq-color.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-color/coq-color.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-color/coq-color.1.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-color/coq-color.1.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-color/coq-color.1.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.2.3.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.2.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.2.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.2.6.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.2.7.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.3.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.3.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.3.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.3.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-compcert/coq-compcert.3.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-concat/coq-concat.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-concurrency-pluto/coq-concurrency-pluto.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-concurrency-pluto/coq-concurrency-pluto.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-concurrency-proxy/coq-concurrency-proxy.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-concurrency-system/coq-concurrency-system.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-concurrency-system/coq-concurrency-system.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-constructive-geometry/coq-constructive-geometry.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-constructors/coq-constructors.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-containers/coq-containers.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-continuations/coq-continuations.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coq-in-coq/coq-coq-in-coq.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coq2html/coq-coq2html.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coq2html/coq-coq2html.1.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqeal-refinements/coq-coqeal-refinements.0.9.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqeal-theory/coq-coqeal-theory.0.9.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqoban/coq-coqoban.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqprime/coq-coqprime.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqprime/coq-coqprime.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqprime/coq-coqprime.1.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqprime/coq-coqprime.1.0.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coqrel/coq-coqrel.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coquelicot/coq-coquelicot.2.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coquelicot/coq-coquelicot.2.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coquelicot/coq-coquelicot.2.1.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coquelicot/coq-coquelicot.2.1.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-coquelicot/coq-coquelicot.3.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-corn/coq-corn.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-corn/coq-corn.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-corn/coq-corn.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-corn/coq-corn.8.8.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-counting/coq-counting.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cours-de-coq/coq-cours-de-coq.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ctltctl/coq-ctltctl.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cunit/coq-cunit.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-cybele/coq-cybele.1.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dblib/coq-dblib.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dblib/coq-dblib.8.6.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-demos/coq-demos.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dep-map/coq-dep-map.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-descente-infinie/coq-descente-infinie.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dictionaries/coq-dictionaries.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-disel/coq-disel.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-distributed-reference-counting/coq-distributed-reference-counting.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-domain-theory/coq-domain-theory.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dpdgraph/coq-dpdgraph.0.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dpdgraph/coq-dpdgraph.0.5/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dpdgraph/coq-dpdgraph.0.5.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dpdgraph/coq-dpdgraph.0.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dpdgraph/coq-dpdgraph.0.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dpdgraph/coq-dpdgraph.0.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-dpdgraph/coq-dpdgraph.0.6.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.0.9~beta2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.1.0~beta/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.1.0~beta2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.1.0~beta2+8.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.1.0+8.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.1.0+8.8/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-equations/coq-equations.1.1+8.8/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ergo/coq-ergo.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-error-handlers/coq-error-handlers.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-error-handlers/coq-error-handlers.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-error-handlers/coq-error-handlers.1.1.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-error-handlers/coq-error-handlers.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-euclidean-geometry/coq-euclidean-geometry.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-euler-formula/coq-euler-formula.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-exact-real-arithmetic/coq-exact-real-arithmetic.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-exceptions/coq-exceptions.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.0~beta3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.5/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ext-lib/coq-ext-lib.0.9.8/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-extensible-records/coq-extensible-records.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-extensible-records/coq-extensible-records.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-extensible-records/coq-extensible-records.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-extructures/coq-extructures.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-fairisle/coq-fairisle.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-fcsl-pcm/coq-fcsl-pcm.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-fermat4/coq-fermat4.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-finger-tree/coq-finger-tree.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-firing-squad/coq-firing-squad.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-float/coq-float.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-flocq/coq-flocq.2.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-flocq/coq-flocq.2.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-flocq/coq-flocq.2.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-flocq/coq-flocq.2.5.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-flocq/coq-flocq.2.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-flocq/coq-flocq.3.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-force-84/coq-force-84.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-force-85/coq-force-85.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-founify/coq-founify.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-fpmods/coq-fpmods.0.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-free-groups/coq-free-groups.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-fsets/coq-fsets.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-fssec-model/coq-fssec-model.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-function-ninjas/coq-function-ninjas.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-functional-algebra/coq-functional-algebra.1.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-functions-in-zfc/coq-functions-in-zfc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-fundamental-arithmetics/coq-fundamental-arithmetics.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-gappa/coq-gappa.1.2.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-gappa/coq-gappa.1.3.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-gappa/coq-gappa.1.3.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-gappa/coq-gappa.1.3.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-gappa/coq-gappa.1.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-gc/coq-gc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-generic-environments/coq-generic-environments.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-geocoq/coq-geocoq.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-geocoq/coq-geocoq.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-geocoq/coq-geocoq.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-geocoq/coq-geocoq.2.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-geocoq/coq-geocoq.2.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-geocoq/coq-geocoq.2.2.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-geocoq/coq-geocoq.2.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-goedel/coq-goedel.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-graph-basics/coq-graph-basics.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-graphs/coq-graphs.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-group-theory/coq-group-theory.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-groups/coq-groups.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-hammer/coq-hammer.1.0.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-hammer/coq-hammer.1.0.8+8.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-hammer/coq-hammer.1.0.9+8.8.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-hammer/coq-hammer.1.0.9+8.8.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-hardware/coq-hardware.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-hedges/coq-hedges.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-high-school-geometry/coq-high-school-geometry.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-higman-cf/coq-higman-cf.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-higman-nw/coq-higman-nw.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-higman-s/coq-higman-s.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-historical-examples/coq-historical-examples.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-hoare-tut/coq-hoare-tut.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-huffman/coq-huffman.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-icharate/coq-icharate.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-idxassoc/coq-idxassoc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ieee754/coq-ieee754.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-improper-integrals/coq-improper-integrals.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-int-map/coq-int-map.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.2.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.2.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.2.2.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.3.1.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.3.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.3.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-interval/coq-interval.3.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-intuitionistic-nuprl/coq-intuitionistic-nuprl.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io/coq-io.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io/coq-io.2.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io/coq-io.3.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io/coq-io.3.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io/coq-io.3.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io/coq-io.3.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-evaluate/coq-io-evaluate.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-exception/coq-io-exception.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-exception/coq-io-exception.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-hello-world/coq-io-hello-world.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-hello-world/coq-io-hello-world.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-list/coq-io-list.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-list/coq-io-list.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system/coq-io-system.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system/coq-io-system.2.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system/coq-io-system.2.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system/coq-io-system.2.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system/coq-io-system.2.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system-ocaml/coq-io-system-ocaml.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system-ocaml/coq-io-system-ocaml.2.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system-ocaml/coq-io-system-ocaml.2.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-io-system-ocaml/coq-io-system-ocaml.2.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ipc/coq-ipc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-iris/coq-iris.3.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-iris/coq-iris.3.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-iterable/coq-iterable.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-izf/coq-izf.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-jordan-curve-theorem/coq-jordan-curve-theorem.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-jprover/coq-jprover.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-jsast/coq-jsast.1.0.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-jsast/coq-jsast.1.0.8/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-karatsuba/coq-karatsuba.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-kildall/coq-kildall.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-label/coq-label.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-lambda/coq-lambda.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-lambek/coq-lambek.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-lazy-pcf/coq-lazy-pcf.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-lc/coq-lc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-legacy-ring/coq-legacy-ring.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-lesniewski-mereology/coq-lesniewski-mereology.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-lin-alg/coq-lin-alg.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-list-plus/coq-list-plus.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-list-plus/coq-list-plus.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-list-string/coq-list-string.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-list-string/coq-list-string.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-list-string/coq-list-string.2.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-list-string/coq-list-string.2.1.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ltac-iter/coq-ltac-iter.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ltac2/coq-ltac2.0.1-8.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ltl/coq-ltl.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-maple-mode/coq-maple-mode.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-markov/coq-markov.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-math-classes/coq-math-classes.1.0.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-math-classes/coq-math-classes.1.0.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-math-classes/coq-math-classes.1.0.5/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-math-classes/coq-math-classes.1.0.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-math-classes/coq-math-classes.1.0.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-math-classes/coq-math-classes.8.8.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-algebra/coq-mathcomp-algebra.1.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-algebra/coq-mathcomp-algebra.1.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-algebra/coq-mathcomp-algebra.1.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-algebra/coq-mathcomp-algebra.1.6.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-algebra/coq-mathcomp-algebra.1.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-bigenough/coq-mathcomp-bigenough.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-character/coq-mathcomp-character.1.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-character/coq-mathcomp-character.1.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-character/coq-mathcomp-character.1.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-character/coq-mathcomp-character.1.6.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-character/coq-mathcomp-character.1.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-field/coq-mathcomp-field.1.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-field/coq-mathcomp-field.1.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-field/coq-mathcomp-field.1.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-field/coq-mathcomp-field.1.6.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-field/coq-mathcomp-field.1.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-fingroup/coq-mathcomp-fingroup.1.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-fingroup/coq-mathcomp-fingroup.1.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-fingroup/coq-mathcomp-fingroup.1.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-fingroup/coq-mathcomp-fingroup.1.6.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-fingroup/coq-mathcomp-fingroup.1.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.1.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-odd-order/coq-mathcomp-odd-order.1.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-odd-order/coq-mathcomp-odd-order.1.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-odd-order/coq-mathcomp-odd-order.1.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.1.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.1.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.1.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.1.6.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-solvable/coq-mathcomp-solvable.1.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.6.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.6.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.6.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.7.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-sum-of-two-square/coq-mathcomp-sum-of-two-square.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mathcomp-sum-of-two-square/coq-mathcomp-sum-of-two-square.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-maths/coq-maths.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-matrices/coq-matrices.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-menhirlib/coq-menhirlib.20180530/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-menhirlib/coq-menhirlib.20180827/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-min-imports/coq-min-imports.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-min-imports/coq-min-imports.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-min-imports/coq-min-imports.1.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mini-compiler/coq-mini-compiler.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-minic/coq-minic.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-miniml/coq-miniml.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mirror-core/coq-mirror-core.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mirror-core/coq-mirror-core.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mirror-core/coq-mirror-core.1.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mod-red/coq-mod-red.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-moment/coq-moment.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-msets-extra/coq-msets-extra.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-msets-extra/coq-msets-extra.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mtac/coq-mtac.1.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mtac2/coq-mtac2.1.0.0+8.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mtac2/coq-mtac2.1.0.1+8.8/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-multiplier/coq-multiplier.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-mutual-exclusion/coq-mutual-exclusion.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-nfix/coq-nfix.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-of-ocaml/coq-of-ocaml.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-of-ocaml/coq-of-ocaml.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-of-ocaml/coq-of-ocaml.1.2.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.2.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.3.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.3.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-opam-website/coq-opam-website.1.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-orb-stab/coq-orb-stab.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ott/coq-ott.0.26/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ott/coq-ott.0.27/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ott/coq-ott.0.28/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-otway-rees/coq-otway-rees.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-paco/coq-paco.1.2.8/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-paradoxes/coq-paradoxes.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-param-pi/coq-param-pi.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-paramcoq/coq-paramcoq.1.0.5/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-paramcoq/coq-paramcoq.1.0.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-paramcoq/coq-paramcoq.1.0.9/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-paramcoq/coq-paramcoq.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pautomata/coq-pautomata.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-persistent-union-find/coq-persistent-union-find.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pi-agm/coq-pi-agm.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pi-agm/coq-pi-agm.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pi-agm/coq-pi-agm.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pi-agm/coq-pi-agm.1.2.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pi-agm/coq-pi-agm.1.2.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pi-calc/coq-pi-calc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pigeonhole-principle/coq-pigeonhole-principle.1.0.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plouffe/coq-plouffe.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plouffe/coq-plouffe.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plouffe/coq-plouffe.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plouffe/coq-plouffe.1.2.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plouffe/coq-plouffe.1.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plouffe/coq-plouffe.1.4.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plugin-utils/coq-plugin-utils.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plugin-utils/coq-plugin-utils.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-plugin-utils/coq-plugin-utils.1.3.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pocklington/coq-pocklington.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ppsimpl/coq-ppsimpl.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ppsimpl/coq-ppsimpl.8.8.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-presburger/coq-presburger.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-prfx/coq-prfx.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-procrastination/coq-procrastination.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-procrastination/coq-procrastination.1.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-procrastination/coq-procrastination.1.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-projective-geometry/coq-projective-geometry.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-propcalc/coq-propcalc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-pts/coq-pts.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ptsatr/coq-ptsatr.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ptsf/coq-ptsf.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qarith/coq-qarith.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qarith-stern-brocot/coq-qarith-stern-brocot.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qcert/coq-qcert.1.0.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qcert/coq-qcert.1.0.5/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qcert/coq-qcert.1.0.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qcert/coq-qcert.1.0.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qcert/coq-qcert.1.0.9/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qcert/coq-qcert.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-qcert/coq-qcert.1.2.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-quickchick/coq-quickchick.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-quickchick/coq-quickchick.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-quickchick/coq-quickchick.1.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-quicksort-complexity/coq-quicksort-complexity.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-railroad-crossing/coq-railroad-crossing.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ramsey/coq-ramsey.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-random/coq-random.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-rational/coq-rational.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-recursive-definition/coq-recursive-definition.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-reflexive-first-order/coq-reflexive-first-order.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-regexp/coq-regexp.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-reglang/coq-reglang.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-relation-algebra/coq-relation-algebra.1.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-relation-algebra/coq-relation-algebra.1.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-relation-algebra/coq-relation-algebra.1.5/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-relation-algebra/coq-relation-algebra.1.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-relation-extraction/coq-relation-extraction.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-rem/coq-rem.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-rsa/coq-rsa.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ruler-compass-geometry/coq-ruler-compass-geometry.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-schroeder/coq-schroeder.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-search-trees/coq-search-trees.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-semantics/coq-semantics.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-shuffle/coq-shuffle.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-simple-io/coq-simple-io.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-simple-io/coq-simple-io.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-smc/coq-smc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-smt-check/coq-smt-check.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-smt-check/coq-smt-check.2.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-square-matrices/coq-square-matrices.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-squiggle-eq/coq-squiggle-eq.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-squiggle-eq/coq-squiggle-eq.1.0.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-squiggle-eq/coq-squiggle-eq.1.0.3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-squiggle-eq/coq-squiggle-eq.1.0.4/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ssreflect/coq-ssreflect.1.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-ssreflect/coq-ssreflect.1.5.1~beta2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-stalmarck/coq-stalmarck.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-stdpp/coq-stdpp.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-stdpp/coq-stdpp.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-streams/coq-streams.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-string/coq-string.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-subst/coq-subst.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-sudoku/coq-sudoku.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-sum-of-two-square/coq-sum-of-two-square.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-switch/coq-switch.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tait/coq-tait.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tarski-geometry/coq-tarski-geometry.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-template-coq/coq-template-coq.1.0.0~beta2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-template-coq/coq-template-coq.1.1.0~beta2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-template-coq/coq-template-coq.1.1.0~beta3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-template-coq/coq-template-coq.2.0~beta/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-template-coq/coq-template-coq.2.1~beta/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-template-coq/coq-template-coq.2.1~beta3/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-three-gap/coq-three-gap.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tlc/coq-tlc.20161010/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tlc/coq-tlc.20171128/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tlc/coq-tlc.20171206/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tlc/coq-tlc.20180316/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-topology/coq-topology.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tortoise-hare-algorithm/coq-tortoise-hare-algorithm.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-traversable-fincontainer/coq-traversable-fincontainer.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tree-automata/coq-tree-automata.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-tree-diameter/coq-tree-diameter.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unicoq/coq-unicoq.1.0.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unicoq/coq-unicoq.1.3+8.6/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unicoq/coq-unicoq.1.3+8.7/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unicoq/coq-unicoq.1.3+8.8/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unimath-category-theory/coq-unimath-category-theory.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unimath-dedekind/coq-unimath-dedekind.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unimath-foundations/coq-unimath-foundations.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unimath-ktheory/coq-unimath-ktheory.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unimath-substitution-systems/coq-unimath-substitution-systems.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-unimath-tactics/coq-unimath-tactics.0.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-universe-comparator/coq-universe-comparator.1.0.1/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-universe-comparator/coq-universe-comparator.1.1.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-vst/coq-vst.2.2/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-weak-up-to/coq-weak-up-to.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-zchinese/coq-zchinese.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-zf/coq-zf.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-zfc/coq-zfc.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-zorns-lemma/coq-zorns-lemma.8.5.0/opam\r\nUpdated /home/blanqui/.opam/repo/coq-released/packages/coq-zsearch-trees/coq-zsearch-trees.8.5.0/opam\r\n\r\n"}}
{"actor":{"display_login":"fblanqui"}}