Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp://qastaging/ |
1 Development | 2022-08-27 10:49:52 UTC |
6304.
Merge PR #16349: [v8.0] Add support f...
Author:
Jason Gross
Merge PR #16349: [v8.0] Add support for `-h` and `--help` to configure Reviewed-by: Alizter |
|
lp://qastaging/ |
1 Development | 2021-02-03 14:12:33 UTC |
290.
Require num on newer OCaml
Author:
Jason Gross
Require num on newer OCaml |
|
lp://qastaging/ |
1 Development | 2021-02-03 14:12:25 UTC |
298.
Require num on newer OCaml
Author:
Jason Gross
Require num on newer OCaml |
|
lp://qastaging/ |
1 Development | 2017-12-27 21:39:35 UTC |
10138.
Adding support for OCaml 4.06.0 (opti...
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. Cherry-pick from v8.4 (7f2240f). |
|
lp://qastaging/ |
1 Development | 2017-12-09 15:41:18 UTC |
11449.
Adding support for OCaml 4.06.0 (opti...
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. Cherry-pick from v8.4 (7f2240f). |
|
lp://qastaging/ |
1 Development | 2017-12-08 23:38:28 UTC |
13165.
Adding support for OCaml 4.06.0 (opti...
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. |
|
lp://qastaging/ |
1 Development | 2017-06-14 17:34:35 UTC |
300.
Make coq depend on libcoq-ocaml
Author:
Jason Gross
Make coq depend on libcoq-ocaml |
|
lp://qastaging/ |
1 Development | 2017-06-14 17:34:21 UTC |
303.
Make coq depend on libcoq-ocaml
Author:
Jason Gross
Make coq depend on libcoq-ocaml |
|
lp://qastaging/ |
1 Development | 2017-01-23 09:44:09 UTC |
18522.
Fixing unification regression #5323.
...
Author:
Hugo Herbelin
Fixing unification regression #5323. Tracking conversion problems to reconsider was lost for evars subject |
|
lp://qastaging/ |
1 Development | 2016-12-15 21:06:06 UTC |
288.
arch-specific coq-theories
Author:
Jason Gross
arch-specific coq-theories |
|
lp://qastaging/ |
1 Development | 2016-12-15 21:05:57 UTC |
294.
arch-specific coq-theories
Author:
Jason Gross
arch-specific coq-theories |
|
lp://qastaging/ |
1 Development | 2016-07-11 09:04:38 UTC |
8614.
Minor patch to build Coq 8.1 on OS X ...
Author:
Timothy Bourke
Minor patch to build Coq 8.1 on OS X (no native "cp --parent"). Courtesy of Timothy Bourke. For the record, Jean-Marc Notin also fixed the issue at some time with |
1 → 12 of 12 results | First • Previous • Next • Last |