ยซ Up

ext-lib 0.9.1 2 m 0 s ๐Ÿ†

Context

# Packages matching: installed
# Name              # Installed  # Synopsis
base-bigarray       base
base-num            base         Num library distributed with the OCaml compiler
base-ocamlbuild     base         OCamlbuild binary and libraries distributed with the OCaml compiler
base-threads        base
base-unix           base
camlp4              4.02+7       Camlp4 is a system for writing extensible parsers for programming languages
conf-findutils      1            Virtual package relying on findutils
conf-which          1            Virtual package relying on which
coq                 8.4.6~camlp4 Formal proof management system.
num                 0            The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.02.3       The OCaml compiler (virtual package)
ocaml-base-compiler 4.02.3       Official 4.02.3 release
ocaml-config        1            OCaml Switch Configuration
ocamlbuild          0            Build system distributed with the OCaml compiler since OCaml 3.10.0
# opam file:
opam-version: "2.0"
maintainer: "dev@clarus.me"
homepage: "https://github.com/coq-community/coq-ext-lib"
dev-repo: "git+https://github.com/coq-community/coq-ext-lib.git"
bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
authors: ["Gregory Malecha"]
license: "BSD-2-Clause-FreeBSD"
build: [
  [make "-j%{jobs}%"]
  ]
install: [
  [make "install"]
]
depends: [
  "ocaml"
  "coq" {>= "8.4pl4" & < "8.5~"}
]
synopsis: "A library of Coq definitions, theorems, and tactics"
url {
  src: "https://github.com/coq-community/coq-ext-lib/archive/v0.9.1.tar.gz"
  checksum: "md5=062cf7e440b8de59875a408bf4c911b4"
}

Lint

Command
true
Return code
0

Dry install ๐Ÿœ๏ธ

Dry install with the current Coq version:

Command
opam install -y --show-action coq-ext-lib.0.9.1 coq.8.4.6~camlp4
Return code
0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command
true
Return code
0

Install dependencies

Command
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-ext-lib.0.9.1 coq.8.4.6~camlp4
Return code
0
Duration
1 m 0 s

Install ๐Ÿš€

Command
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-ext-lib.0.9.1 coq.8.4.6~camlp4
Return code
0
Duration
2 m 0 s

Installation size

Total: 6 M

  • 521 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/index.html
  • 270 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.HList.html
  • 185 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadLaws.vo
  • 159 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/HList.vo
  • 102 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Set.TwoThreeTrees.html
  • 81 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Sets.vo
  • 77 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.List.html
  • 72 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadLaws.html
  • 72 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Map.FMapPositive.html
  • 70 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/OptionMonadLaws.vo
  • 70 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Map.FMapTwoThreeK.html
  • 63 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/List.vo
  • 62 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Map.FMapAList.html
  • 61 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Generic.Ind.html
  • 57 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.OptionMonadLaws.html
  • 56 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Programming.Show.html
  • 56 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Set/TwoThreeTrees.vo
  • 55 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Option.html
  • 54 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Relations.TransitiveClosure.html
  • 54 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.StateMonad.html
  • 54 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Pair.vo
  • 53 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.String.html
  • 51 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Option.vo
  • 51 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Generic/Ind.vo
  • 50 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Programming.Le.html
  • 47 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Map/FMapPositive.vo
  • 47 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Pair.html
  • 46 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.Parametric.html
  • 46 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Member.html
  • 46 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.WriterMonad.html
  • 45 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Prop.html
  • 45 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Generic.Data.html
  • 43 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Programming/Show.vo
  • 43 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.Consider.html
  • 42 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Map/FMapAList.vo
  • 41 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/String.vo
  • 41 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Vector.html
  • 39 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Member.vo
  • 38 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Sets.html
  • 38 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Generic.Func.html
  • 38 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Map/FMapTwoThreeK.vo
  • 37 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.EitherMonad.html
  • 36 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/ListFirstnSkipn.vo
  • 36 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/Parametric.vo
  • 36 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Core.RelDec.html
  • 36 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.FuelMonadLaws.html
  • 34 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Maps.vo
  • 34 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Nat.vo
  • 34 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Generic/Data.vo
  • 34 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Programming.Extras.html
  • 33 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Fin.html
  • 33 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Relations/TransitiveClosure.vo
  • 33 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/FunctorLaws.vo
  • 33 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/StateMonad.vo
  • 32 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.ReaderMonad.html
  • 32 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Sum.html
  • 32 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.SigT.html
  • 32 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.OptionMonad.html
  • 31 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadFix.html
  • 31 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Core.Type.html
  • 31 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.ListFirstnSkipn.html
  • 31 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Core/Type.vo
  • 31 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/SumN.vo
  • 30 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.SumN.html
  • 30 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Eq.html
  • 30 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/ReaderMonadLaws.vo
  • 30 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/SigT.vo
  • 29 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Maps.html
  • 29 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.ListNth.html
  • 29 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Monad.html
  • 28 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Vector.vo
  • 28 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Sum.vo
  • 27 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Programming/Extras.vo
  • 26 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Programming/Le.vo
  • 26 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Set.ListSet.html
  • 26 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.vo
  • 26 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Programming/With.vo
  • 26 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.EqDep.html
  • 25 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.vo
  • 25 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Programming.With.html
  • 25 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Fin.vo
  • 25 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/EitherMonad.vo
  • 24 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/FuelMonadLaws.vo
  • 24 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.ReaderMonadLaws.html
  • 24 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Set/ListSet.vo
  • 23 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/ReaderMonad.vo
  • 23 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Nat.html
  • 23 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Monad.vo
  • 23 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Char.vo
  • 23 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Generic/Func.vo
  • 22 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Tuple.html
  • 22 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Programming.Eqv.html
  • 22 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Graph.GraphAdjList.html
  • 22 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Core.CmpDec.html
  • 22 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.vo
  • 21 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.PreFun.html
  • 20 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Core/CmpDec.vo
  • 20 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Foldable.vo
  • 20 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Fun.html
  • 20 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/OptionMonad.vo
  • 19 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Core/RelDec.vo
  • 19 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Tuple.vo
  • 19 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Reducible.html
  • 19 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.Cases.html
  • 19 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/Consider.vo
  • 18 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Char.html
  • 18 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Graph.GraphAlgos.html
  • 18 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/ListMonad.vo
  • 17 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Z.vo
  • 17 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.BoolTac.html
  • 17 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Recur.GenRec.html
  • 16 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Eq.vo
  • 16 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.FuelMonad.html
  • 16 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Foldable.html
  • 15 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadFix.vo
  • 15 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/ListNth.vo
  • 15 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Programming/Eqv.vo
  • 15 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Applicative.vo
  • 15 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.IdentityMonadLaws.html
  • 14 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Graph.BuildGraph.html
  • 14 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.vo
  • 14 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Prop.vo
  • 14 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/EqDep.vo
  • 14 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.EqDep.html
  • 14 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Monoid.vo
  • 14 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Programming/Injection.vo
  • 14 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/Reify.vo
  • 13 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadReader.html
  • 13 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Recur.Measure.html
  • 13 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/FuelMonad.vo
  • 13 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadWriter.vo
  • 13 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadState.html
  • 13 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.MonadTac.html
  • 13 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Checked.html
  • 12 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/PreFun.vo
  • 12 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/EqDep.vo
  • 12 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Z.html
  • 12 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/toc.html
  • 12 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Positive.html
  • 11 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Functor.vo
  • 11 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadWriter.html
  • 11 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/CoFunctor.vo
  • 11 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.FunctorLaws.html
  • 10 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Proper.html
  • 10 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/IdentityMonadLaws.vo
  • 10 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Applicative.html
  • 10 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.TypeTac.html
  • 9 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.BinOps.html
  • 9 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/MonadTac.vo
  • 9 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Reducible.vo
  • 9 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Recur/GenRec.vo
  • 9 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Fun.vo
  • 9 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadState.vo
  • 9 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Proper.vo
  • 8 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.Reify.html
  • 8 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadReader.vo
  • 8 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Functor.html
  • 8 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Positive.vo
  • 8 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Traversable.vo
  • 8 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Lazy.html
  • 7 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.CoFunctor.html
  • 7 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Core/EquivDec.vo
  • 7 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Recur.Relation.html
  • 7 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Checked.vo
  • 7 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadPlus.vo
  • 7 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/BinOps.vo
  • 7 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadExc.vo
  • 6 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Traversable.html
  • 6 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.ListMonad.html
  • 6 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadPlus.html
  • 6 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/BoolTac.vo
  • 6 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/CoMonad.vo
  • 6 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/Cases.vo
  • 6 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.Injection.html
  • 6 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/coqdoc.css
  • 6 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Recur.Facts.html
  • 6 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Unit.html
  • 6 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Graph/Graph.vo
  • 6 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Recur/Relation.vo
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/Injection.vo
  • 5 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Monoid.html
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadCont.vo
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadTrans.vo
  • 5 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.Forward.html
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/MonadZero.vo
  • 5 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Identity.html
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/N.vo
  • 5 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Programming.Injection.html
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/LazyList.vo
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Identity.vo
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Recur/Measure.vo
  • 5 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics.vo
  • 5 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Bool.html
  • 4 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Core.EquivDec.html
  • 4 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/TypeTac.vo
  • 4 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.LazyList.html
  • 4 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/IdentityMonad.vo
  • 4 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.N.html
  • 4 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadZero.html
  • 4 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Unit.vo
  • 4 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Lazy.vo
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Graph.Graph.html
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.IdentityMonad.html
  • 3 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Core/Any.vo
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Relations.Compose.html
  • 3 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Bool.vo
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadExc.html
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.Monads.html
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Stream.html
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.CoMonad.html
  • 3 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Core.Any.html
  • 2 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadCont.html
  • 2 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.Equality.html
  • 2 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Structures/Monads.vo
  • 2 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Structures.MonadTrans.html
  • 2 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Set/SetMap.vo
  • 2 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Recur/Facts.vo
  • 2 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/Forward.vo
  • 2 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Tactics.html
  • 1 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Set.SetMap.html
  • 1 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Relations/Compose.vo
  • 1 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Stream.vo
  • 1 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Tactics/Equality.vo
  • 1 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.Data.Monads.ContMonad.html
  • 1 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/ExtLib.vo
  • 1 K ../ocaml-base-compiler.4.02.3/doc/user-contrib/ExtLib/html/ExtLib.ExtLib.html
  • 1 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/ExtLib/Data/Monads/ContMonad.vo

Uninstall ๐Ÿงน

Command
opam remove -y coq-ext-lib.0.9.1
Return code
0
Missing removes
none
Wrong removes
none