agda-language-server/stack.yaml.lock at master · agda/agda-language-server · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# This file was autogenerated by Stack.
# You should not edit this file by hand.
# For more information, please see the documentation at:
#   https://docs.haskellstack.org/en/stable/topics/lock_files

packages:
- completed:
    hackage: Agda-2.8.0@sha256:f85f3b10eb034687b07d073686ab97c947082eecc5ad268cbe20a4c774abcaae,34434
    pantry-tree:
      sha256: 01cbe34629f37fa56a411390d4d9fa281bb92b8a66a6757232240f58380678a7
      size: 43914
  original:
    hackage: Agda-2.8.0
- completed:
    hackage: network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
    pantry-tree:
      sha256: dd29b2be85ddbc79edd268c27e7c49eb939a4478ee9f2be410a199e768ec5783
      size: 564
  original:
    hackage: network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
snapshots:
- completed:
    sha256: a033deeac115f963c6a976aeb8407595a196ac8cff629847488ebf504af5bbaf
    size: 724470
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/24/1.yaml
  original: lts-24.1