Hannes Mehnert
|
2c0ded4272
|
topkg lint fixes
|
2018-10-29 00:36:11 +01:00 |
|
|
Hannes Mehnert
|
a124b3eb30
|
upgrade to recent decompress
|
2018-10-29 00:05:55 +01:00 |
|
|
Hannes Mehnert
|
01f933702d
|
move stuff around
|
2018-10-26 21:30:54 +02:00 |
|
|
Hannes Mehnert
|
7275073d6b
|
4.04 is broken, and unsupported
|
2018-10-26 21:29:59 +02:00 |
|
|
Hannes Mehnert
|
49ab6a94ce
|
adjust decompress bound
|
2018-09-30 13:15:28 +02:00 |
|
|
Hannes Mehnert
|
bd10209297
|
wip, vmmc and vmmd talk with each other!
|
2018-09-09 20:52:04 +02:00 |
|
|
Hannes Mehnert
|
7a4661b2e1
|
style: require lwt 3.0.0, fix warnings, disable 4 (fragile pattern matching) and 48 (implicit elimination of optional argument)
|
2018-04-03 22:58:31 +02:00 |
|
|
Hannes Mehnert
|
db8ae1ee37
|
compression, fixes #6
|
2018-03-22 17:00:08 +01:00 |
|
|
Hannes Mehnert
|
8407d13b15
|
port to new asn + x509
|
2017-12-23 15:03:56 +01:00 |
|
|
Hannes Mehnert
|
02be3f4528
|
initial
|
2017-07-10 10:38:25 +01:00 |
|