Jerry James
|
eec8b4195c
|
Version 20201216.
- Some applications of menhir require menhirLib.ml, so install it.
|
2021-02-24 13:50:58 -07:00 |
|
Jerry James
|
0264a9c4a9
|
Version 20201201.
|
2020-12-02 16:08:48 -07:00 |
|
Jerry James
|
a7e9e74f04
|
Version 20200624.
|
2020-08-06 08:50:47 -06:00 |
|
Jerry James
|
edcc2b3e62
|
Version 20200612.
|
2020-06-15 14:39:01 -06:00 |
|
Jerry James
|
7b0bed3cda
|
Version 20200211.
Dune is now used to build the package.
Split the build-time and runtime parts into separate packages.
|
2020-03-25 12:59:19 -06:00 |
|
Jerry James
|
049c4053a7
|
New upstream version. BR coq to get coq_makefile.
|
2019-09-24 10:00:24 -06:00 |
|
Jerry James
|
3e877d7d06
|
New upstream version.
|
2019-07-13 11:21:57 -06:00 |
|
Jerry James
|
dd89bda373
|
New upstream version.
|
2019-06-26 21:22:11 -06:00 |
|
Jerry James
|
69d7691402
|
New upstream version.
|
2019-06-18 20:33:57 -06:00 |
|
Jerry James
|
1b87cbf192
|
New upstream version. New source URL.
|
2018-11-14 18:48:44 -07:00 |
|
Jerry James
|
a5dd16fae4
|
New upstream version. Ship libraries in the main package.
|
2018-10-22 21:01:54 -06:00 |
|
Jerry James
|
f87119f415
|
New upstream version.
|
2018-09-27 21:03:01 -06:00 |
|
Jerry James
|
3eedd8a3d8
|
New upstream version.
|
2018-06-06 20:49:16 -06:00 |
|
Jerry James
|
7aeabbbc6a
|
New upstream version.
|
2017-12-24 11:03:01 -07:00 |
|
Jerry James
|
41fb21be94
|
New upstream version.
|
2017-12-09 13:03:34 -07:00 |
|
Jerry James
|
82125932e2
|
New upstream version. Build the manual from LaTeX sources.
|
2017-07-15 11:50:44 -06:00 |
|
Jerry James
|
3d5856154d
|
New upstream version.
|
2017-06-10 14:26:17 -06:00 |
|
Jerry James
|
8b13e82bda
|
New upstream version. License change: QPL with exceptions to GPLv2.
|
2017-05-18 20:03:48 -06:00 |
|
Jerry James
|
25e380daeb
|
New upstream version.
|
2017-01-02 10:06:43 -07:00 |
|
Jerry James
|
0c2a12b95d
|
New upstream version.
|
2016-11-15 19:28:39 -07:00 |
|
Jerry James
|
22d70ac042
|
New upstream version.
|
2016-11-14 20:41:33 -07:00 |
|
Jerry James
|
c96807fd80
|
New upstream version.
|
2016-08-27 11:36:25 -06:00 |
|
Jerry James
|
866f4a4c21
|
New upstream version.
|
2016-07-04 16:11:03 -06:00 |
|
Jerry James
|
8eeecd1eab
|
New upstream version.
|
2016-05-13 08:19:46 -06:00 |
|
Jerry James
|
17430cce0e
|
New upstream version.
|
2016-03-03 21:38:57 -07:00 |
|
Jerry James
|
cb685ee3d3
|
New upstream version.
|
2015-11-12 19:31:51 -07:00 |
|
Jerry James
|
9dded10e45
|
New upstream version.
|
2015-10-26 21:39:41 -06:00 |
|
Jerry James
|
34dea46b07
|
New upstream version.
|
2015-10-24 12:07:01 -06:00 |
|
Jerry James
|
23c504eb8c
|
New upstream version.
|
2015-10-14 19:54:17 -06:00 |
|
Jerry James
|
c163d1a8db
|
New upstream version.
|
2015-10-09 08:50:14 -06:00 |
|
Jerry James
|
c3d85adc4c
|
New upstream version.
|
2015-09-19 11:15:49 -06:00 |
Jerry James
|
ae9a69dec7
|
New upstream version.
|
2015-01-05 11:38:15 -07:00 |
|
Jerry James
|
532ffa3e62
|
New upstream version.
Fix standard.mly character encoding.
|
2014-04-30 08:41:40 -06:00 |
|
Jerry James
|
7c97020403
|
New upstream version.
Allow debuginfo generation since ocaml 4 supports it.
|
2013-09-12 14:07:47 -06:00 |
|
Jerry James
|
255a054b6f
|
New upstream version.
|
2013-01-21 11:45:29 -07:00 |
|
Jerry James
|
e6786c13c7
|
New upstream version.
|
2012-01-23 11:14:36 -07:00 |
|
Jerry James
|
798c643482
|
Initial import.
|
2011-12-21 08:43:28 -07:00 |
Fedora Release Engineering
|
443883c133
|
Initial setup of the repo
|
2011-12-21 15:08:45 +00:00 |