---
- branch: MAIN
  date: Tue Apr 28 05:46:53 UTC 2020
  files:
  - new: '1.132'
    old: '1.131'
    path: pkgsrc/lang/coq/Makefile
    pathrev: pkgsrc/lang/coq/Makefile@1.132
    type: modified
  id: 20200428T054653Z.d78db1b8d71c56cb2f4b9b27a843b4ee053e6c17
  log: |
    lang/coq: needs bash as tool

    Otherwise build fails with:

       OCAMLOPT -o bin/coqide
       CHECK revision
       env: bash: No such file or directory
       gmake[1]: *** [Makefile.dev:34: revision] Error 127
       gmake[1]: Leaving directory '/tmp/pkgbuild/2020Q1/lang/coq/work/coq-8.10.2'
       gmake: *** [Makefile:179: submake] Error 2
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/coq'
  unixtime: '1588052813'
  user: riastradh