-
Notifications
You must be signed in to change notification settings - Fork 20
Expand file tree
/
Copy pathstack-9.10.2-Agda-2.6.4.3.yaml.lock
More file actions
33 lines (32 loc) · 1.4 KB
/
stack-9.10.2-Agda-2.6.4.3.yaml.lock
File metadata and controls
33 lines (32 loc) · 1.4 KB
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
27
28
29
30
31
32
33
# 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.6.4.3@sha256:a8066d4b15827534d118846e98fd47bb9aadeb75e3d3b1f2c3bda8f5885c3f7c,29246
pantry-tree:
sha256: 8ec7c974decac30ceb45e9d728cf8b70b6da671dd80fe362e7e1fd4f0fcae77d
size: 42904
original:
hackage: Agda-2.6.4.3
- completed:
hackage: hashable-1.4.7.0@sha256:573f3ab242f75465a0d67ce9d84202650a1606575e6dbd6d31ffcf4767a9a379,6629
pantry-tree:
sha256: 9ec168505c52fa389b7447a1251b302e32537adeecac88c2aa72beed53beb3bd
size: 1578
original:
hackage: hashable-1.4.7.0@sha256:573f3ab242f75465a0d67ce9d84202650a1606575e6dbd6d31ffcf4767a9a379,6629
- 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