Török Edwin edwintorok
edwintorok
/ gist:7b1e8997461dcdff72d7
Created
July 13, 2014 08:16
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/aspcud $in $out $pref -removed,-notuptodate,-new | |
| preamble: | |
| property: installed-root: bool = [false], reinstall: bool = [false], buildessential: bool = [false], essential: bool = [false], sourceversion: int = [1], sourcenumber: string = [""], source: string = [""], number: string, recommends: vpkgformula = [true!] | |
| package: oasis2opam | |
| version: 43 | |
| depends: ocamlfind , oasis-mirage >= 38 | oasis < 52 , oasis-mirage >= 38 | oasis >= 38 , oasis | |
| conflicts: oasis2opam | |
| number: 0.3.4 | |
| source: oasis2opam |
edwintorok
/ ios6fail.pcap
Last active
August 29, 2015 14:04
edwintorok
/ file-1.cudf
Created
August 21, 2014 10:46
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/aspcud $in $out $pref -removed,-notuptodate,-new | |
| preamble: | |
| property: installed-root: bool = [false], reinstall: bool = [false], buildessential: bool = [false], essential: bool = [false], sourceversion: int = [1], sourcenumber: string = [""], source: string = [""], number: string, recommends: vpkgformula = [true!] | |
| package: oasis2opam | |
| version: 43 | |
| depends: ocamlfind , oasis-mirage >= 39 | oasis < 53 , oasis-mirage >= 39 | oasis >= 39 , oasis | |
| conflicts: oasis2opam | |
| number: 0.3.3 | |
| source: oasis2opam |
edwintorok
/ omd0.7.5-badsolution.cudf
Created
September 25, 2014 15:41
opam install solution not up-to-date cudf files
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # aspcud /home/edwin/$in /home/edwin/$out -count(removed),-notuptodate(request),-count(down),-count(changed) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: base64 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ lambcmd_extcombine.ml
Created
November 9, 2014 13:19
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* combine multiple lambdoc extensions, UNTESTED *) | |
| module type Ext = sig | |
| module Monad : Lambdoc_reader.Extension.MONAD | |
| type linkdata_t | |
| type imagedata_t | |
| type extinldata_t | |
| type extblkdata_t | |
| include Lambdoc_reader.Extension.S with module Monad := Monad and | |
| type linkdata_t := linkdata_t and |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # aspcud /tmp/$in /tmp/$out -count(removed),-notuptodate(request),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: base64 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ gist:4616ef227d5346d3222e
Created
December 12, 2014 11:43
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DEBUG 2014-12-12 13:41:15,556 MainThread Python 2.7.9 (default, Dec 11 2014, 08:58:12) | |
| [GCC 4.9.2] on linux2 | |
| DEBUG 2014-12-12 13:41:15,556 MainThread reading configuration from ['/home/edwin/.linkchecker/linkcheckerrc'] | |
| INFO 2014-12-12 13:41:15,560 MainThread Checking intern URLs only; use --check-extern to check extern URLs. | |
| DEBUG 2014-12-12 13:41:15,573 MainThread configuration: [('aborttimeout', 300), | |
| ('allowedschemes', []), | |
| ('authentication', []), | |
| ('blacklist', {}), | |
| ('checkextern', False), | |
| ('cookiefile', None), |
edwintorok
/ gist:4283a403f0f6ac3cecf6
Created
December 23, 2014 20:01
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # aspcud /home/edwin/$in /home/edwin/$out -count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: mirage-types , base64 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ fixup-1.cudf
Created
March 26, 2015 09:12
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # aspcud $in $out -count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: mirage-types , base64 < 3 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: io-page >= 5 , mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ fixup-1.cudf
Last active
August 29, 2015 14:17
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # aspcud $in $out -count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: mirage-types , base64 < 3 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: io-page >= 5 , mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
OlderNewer