diff options
Diffstat (limited to 'cabal.project')
| -rw-r--r-- | cabal.project | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cabal.project b/cabal.project index 2b82eb70c..fa4d9353a 100644 --- a/cabal.project +++ b/cabal.project @@ -5,5 +5,9 @@ flags: +embed_data_files source-repository-package type: git location: https://github.com/jgm/citeproc - tag: 46066cb8939e907e7e3a7126304919c8ed32aed0 + tag: f33b370bd1ab5ad5140720369c0586041e433a47 +source-repository-package +- type: git + location: https://github.com/jm/texmath + tag: 0c34bb7d229389adc62bcbfe20cfbfdc0c8ccc8d |