Git Product home page Git Product logo

Comments (4)

clarus avatar clarus commented on June 11, 2024

OK, this is weird. Can you give me the output of:

opam --version
opam list

I also just added a Dockerfile which should run on any Linux machine using Docker:

docker build --tag=chick-blog .
docker run -ti -p 8008:8008 chick-blog

from coq-chick-blog.

relrod avatar relrod commented on June 11, 2024

OK, this is weird. Can you give me the output of:

opam --version
opam list

Sure.

ricky@t520 60% /tmp$ opam --version
1.1.1
ricky@t520 53% /tmp$ opam list
Installed packages for 4.01.0:
base-bigarray                 base  Bigarray library distributed with the OCaml compiler
base-threads                  base  Threads library distributed with the OCaml compiler
base-unix                     base  Unix library distributed with the OCaml compiler
camlimages                   4.1.1  Image processing library
camlp4                      4.01.0  Camlp4 is a system for writing extensible parsers for programming languages
camlp5                        6.11  Preprocessor-pretty-printer of OCaml
camlzip                       1.05  Provides easy access to compressed files in ZIP, GZIP and JAR format
camomile                     0.8.5  A comprehensive Unicode library
cohttp                      0.11.2  HTTP library for Lwt, Async and Mirage
conduit                      0.5.0  Network connection library for TCP and SSL
coq                         8.4pl4  Formal proof management system
coq:error-handlers             dev  Simple and robust error handling functions.
coq:function-ninjas            dev  Write readable code using simple functional combinators.
coq:list-plus                  dev  More functions on lists.
coq:list-string                dev  Strings implemented as lists.
coq:moment                     dev  Parse, manipulate and pretty-print dates in Coq.
dypgen                  20120619-1  Self-extensible parsers and lexers for OCaml
fieldslib                109.20.03  Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values
lwt                          2.4.5  A cooperative threads library for OCaml
ocamlfind                    1.5.1  A library manager for OCaml
omake                0.9.8.6-0.rc1  Build system designed for scalability and portability
ounit                        2.0.0  Unit testing framework loosely based on HUnit. It is similar to JUnit, and other XUnit testing frameworks
patoline                       0.1  A new typesetting system, programmable in ocaml.
re                           1.2.2  RE is a regular expression library for OCaml
sexplib                  111.17.00  Library for serializing OCaml values to and from S-expressions
sqlite3-ocaml                2.0.6  SQLite3 bindings
stringext                    0.0.1  Extra string functions for OCaml
type_conv                111.13.00  Library for building type-driven syntax extensions
uri                          1.7.1  RFC3986 URI parsing library

from coq-chick-blog.

clarus avatar clarus commented on June 11, 2024

Ok, I have not tested the blog with OPAM 1.1.1 but this version seems deprecated (according to the "Your version of OPAM (1.1.1) is not recent enough to read ..." errors I get doing an opam init). This is unfortunate because most Linux distribs propose only the 1.1.1.

In general, for Coq and OPAM, we only support OPAM 1.2.0 for all these problems. If you have the time and energy to compile an 1.2.0 version hopefully this will solve the problem.

from coq-chick-blog.

relrod avatar relrod commented on June 11, 2024

Sorry for the delay in response. I'll give OPAM 1.2.0 a shot, I didn't realize how out of date I was!

from coq-chick-blog.

Related Issues (7)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.