New features and call to rename

Hi everyone,

I’d like to announce here a few things regarding To recall, this website is an interface to find out which opam packages are broken with a given set of OCaml compilers.

First of all some features, I hope useful for everyone, have been added:

  • Log search: gives you the possibility to filter the packages by whether or not it contains any given [posix regexp] in their logs. This feature is a bit slow for obvious reasons so expect a 10 to 20 seconds delay if you use this feature.
  • The diff page: A page on the website (see link on the top right) is now dedicated to show the differences between the current check and the previous check (the tool checks every two days and takes approximately one and a half day to finish, sometimes more because the service has to be restarted for maintenance reasons).

I’d like also to ask here if anybody would have any idea of a new name for the tool itself. For now its name is opam-check-all but I find this name not good and would like to find a new one like maybe opam-health-check, opam-check, opam-health or maybe something more original but I have no idea. If somebody has any ideas please submit them here.

For the future I want to add again more features like: revdeps counter (suggested by @bluddy on the last post about opam-check-all), add a way of viewing all the packages despite being not available on any of the switches (not shown at the time), or automatically send the diff for each run by email somewhere (another solution of an improvement suggested by @UnixJunkie on the last post again)

Keep sending me features requests in the comments on over on github if you have ideas.



I almost forgot, but the next run is going to include OCaml 4.08.0beta1, and so, test which packages need to be upgraded before the next release.

1 Like

opam-health-check seems good to me.

How about opam-watch or opam-repo-watch?

FWIW this looks related in purpose to (work by @clarus, sources at, not something that is maintained by the Coq team).

Nice site and thank you.

Is this a color blindness aware design?
I’m not get color blindness, but my simulator camera shows this pic.
type C is majority, P, D and T is three well known type of color blindness.
There is a color universal design. (カラーユニバーサルデザイン ) (unfotunately no english page.)


(Here is the main English page about this work. People doing presentations with slides should read it, considering 1 in 12 men (8%) and 1 in 200 women are color blind. E.g. a colleague of mine usually can’t see the basic light green color on LaTeX slides and cannot follow a red laser pointer.)

1 Like

Color Brewer is an easy way to get color palettes that are both pretty and readable for everybody (select “colorblind safe”)".


Is this project alive? It looks like that it is missing compilers younger than 4.10

Also, It would be great to see the date of last table update