Comments (4)
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.
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.
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.
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
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from coq-chick-blog.