2016-05-24 14:03:01 +02:00
|
|
|
<services>
|
2016-06-24 00:35:56 +02:00
|
|
|
<service name="tar_scm" mode="disabled">
|
2019-11-05 14:38:00 +01:00
|
|
|
<param name="filename">ocaml-parmap</param>
|
2020-01-28 20:45:55 +01:00
|
|
|
<param name="revision">d9bcb31921e68eba88e798a68fc366c88c688c36</param>
|
2016-05-24 14:03:01 +02:00
|
|
|
<param name="scm">git</param>
|
2020-01-28 20:45:55 +01:00
|
|
|
<param name="url">https://github.com/rdicosmo/parmap.git</param>
|
2016-05-24 14:03:01 +02:00
|
|
|
<param name="versionformat">%cd.%h</param>
|
|
|
|
</service>
|
2016-06-24 00:35:56 +02:00
|
|
|
<service name="recompress" mode="disabled">
|
2016-05-24 14:03:01 +02:00
|
|
|
<param name="file">*.tar</param>
|
|
|
|
<param name="compression">xz</param>
|
|
|
|
</service>
|
2016-06-24 00:35:56 +02:00
|
|
|
<service name="set_version" mode="disabled"/>
|
2016-05-24 14:03:01 +02:00
|
|
|
</services>
|