Skip to main content

Browse the archive

Revision 2895aaee0b58f505cfd4136e38c2495eab848fdd authored by Ranjit Jhala on 08 May 2019, 17:07:28 UTC, committed by Ranjit Jhala on 08 May 2019, 17:07:28 UTC 
asd Merge branch 'develop' of github.com:ucsd-progsys/liquid-fixpoint into develop
2 parent s b5b2cd5 + d41fc59
Raw File
stack.yaml 
resolver: lts-13.11

flags:
  liquid-fixpoint:
    devel: true 

packages:
- '.'

packages:
- '.'

extra-deps:
- dotgen-0.4.2
- fgl-visualize-0.1.0.1
- intern-0.9.2
- located-base-0.1.1.1
- text-format-0.3.2
- tasty-rerun-1.1.14
back to top