Project

General

Profile

« Previous | Next » 

Revision 5de20a33

ID5de20a335bdf0e0c5e7b940fe69952963720b1cd
Parent 0655be7e
Child 80e49b79

Added by Hans-Peter Deifel about 1 month ago

Update INSTALL file to reflect current state

Since pgsolver is now a dependency and is not available in common
Linux distributions, we advise people to install all ocaml
dependencies with opam instead.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences