File tree Expand file tree Collapse file tree 3 files changed +3
-2
lines changed Expand file tree Collapse file tree 3 files changed +3
-2
lines changed Original file line number Diff line number Diff line change 5
5
( source
6
6
( github koonwen/obatcher) )
7
7
( authors " Lee Koon Wen" " Kiran Gopinathan" " Arthur Wendling" )
8
- ( maintainers " Lee Koon Wen " )
8
+ ( maintainers " koonwen@gmail.com " )
9
9
( license " ISC" )
10
10
( documentation https://koonwen.github.io/obatcher)
11
11
Original file line number Diff line number Diff line change 2
2
opam-version: "2.0"
3
3
synopsis: "A Framework for building Batched Concurrent Data Structures"
4
4
description: ""
5
- maintainer: ["Lee Koon Wen "]
5
+ maintainer: ["koonwen@gmail.com "]
6
6
authors: ["Lee Koon Wen" "Kiran Gopinathan" "Arthur Wendling"]
7
7
license: "ISC"
8
8
homepage: "https://github.com/koonwen/obatcher"
Original file line number Diff line number Diff line change
1
+ [@@@ alert " -unsafe" ]
1
2
open Containers
2
3
open QCheck
3
4
You can’t perform that action at this time.
0 commit comments