Commits · 3ccb1f72ee8a60b25556e2b9adb06a9e701a942c · Pierre Rousselin / jscoq-light · GitLab

Jan 05, 2021
- [misc] Updated some metadata in jscoq.opam. · 3ccb1f72
  Shachar Itzhaky authored Jan 5, 2021
  
  3ccb1f72
Jul 18, 2020
- [jscoq] Port to Coq 8.12 · be2165c5
  Emilio Jesus Gallego Arias authored Jul 18, 2020
  
  Unverified
  
  be2165c5
Apr 28, 2020
- [build] Bump to js_of_ocaml 3.6.0 · 042a4151
  Emilio Jesus Gallego Arias authored Apr 27, 2020
  Unverified
  
  042a4151
Mar 21, 2020
- [build] [bugfix] Previous commit requires Dune 2.4. · c4189270
  Shachar Itzhaky authored Mar 21, 2020
  
  c4189270
Jan 25, 2020
- [jscoq] [build] Update toolchain · e578c442
  Emilio Jesus Gallego Arias authored Jan 25, 2020
  Unverified
  
  e578c442
Jan 24, 2020
- [opam] Don't require elpi by default · 4f3a808c
  Emilio Jesus Gallego Arias authored Jan 24, 2020
  Unverified
  
  4f3a808c
Nov 20, 2019
- [build] Update toolchain requirements. · b2072bfd
  Emilio Jesus Gallego Arias authored Nov 20, 2019
  
  Unverified
  
  b2072bfd
Jun 16, 2019
- [jscoq] Use JSON serializers from SerAPI for Coq types. · faab8849
  Emilio Jesus Gallego Arias authored May 14, 2019
  Unverified
  
  faab8849
Apr 20, 2019
- [addons] Elpi 1.2.0 is not compatible with the v8.9 branch. · 963dc5ee
  Emilio Jesus Gallego Arias authored Apr 20, 2019
  
  Unverified
  
  963dc5ee
- [coq] Update to JSOO 3.4.0 · eeeacda8
  Emilio Jesus Gallego Arias authored Apr 20, 2019
  Unverified
  
  eeeacda8
Apr 10, 2019
- [build] [bugfix] Added deps camlp5 and num. · d17c887d
  Shachar Itzhaky authored Apr 10, 2019
  d17c887d
Mar 30, 2019
- [build] Added missing OPAM dependencies. · 2827ddb2
  Shachar Itzhaky authored Mar 28, 2019
  
  Unverified
  
  2827ddb2
Mar 24, 2019
- [build] General Cleanups cherry-picked from the Dune PR (#37) · fdb19751
  Emilio Jesus Gallego Arias authored Mar 24, 2019
  Unverified
  
  fdb19751