CARVIEW

MOTORHOMES

Select Language

HTTP/2 302 server: nginx date: Sat, 06 Sep 2025 01:24:11 GMT content-type: text/plain; charset=utf-8 content-length: 0 x-archive-redirect-reason: found capture at 20150308024601 location: https://web.archive.org/web/20150308024601/https://github.com/spl server-timing: captures_list;dur=0.806060, exclusion.robots;dur=0.025678, exclusion.robots.policy;dur=0.011072, esindex;dur=0.015486, cdx.remote;dur=6.817307, LoadShardBlock;dur=208.447486, PetaboxLoader3.datanode;dur=63.627180, PetaboxLoader3.resolve;dur=68.581168 x-app-server: wwwb-app213 x-ts: 302 x-tr: 270 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 set-cookie: wb-p-SERVER=wwwb-app213; path=/ x-location: All x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() HTTP/2 302 server: nginx date: Sat, 06 Sep 2025 01:24:12 GMT content-type: text/plain; charset=utf-8 content-length: 0 x-archive-redirect-reason: found capture at 20190425184205 location: https://web.archive.org/web/20190425184205/https://github.com/spl server-timing: captures_list;dur=0.504643, exclusion.robots;dur=0.020817, exclusion.robots.policy;dur=0.009272, esindex;dur=0.011012, cdx.remote;dur=14.309976, LoadShardBlock;dur=174.402140, PetaboxLoader3.resolve;dur=551.138334, PetaboxLoader3.datanode;dur=96.470948, load_resource;dur=572.278064 x-app-server: wwwb-app213 x-ts: 302 x-tr: 810 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 x-location: All x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() HTTP/2 200 server: nginx date: Sat, 06 Sep 2025 01:24:13 GMT content-type: text/html; charset=utf-8 x-archive-orig-date: Thu, 25 Apr 2019 18:42:05 GMT x-archive-orig-transfer-encoding: chunked x-archive-orig-server: GitHub.com x-archive-orig-status: 200 OK x-archive-orig-vary: X-Requested-With x-archive-orig-etag: W/"5966daa9e97dd9d6eeea0d4fd88ef5b2" x-archive-orig-cache-control: max-age=0, private, must-revalidate x-archive-orig-set-cookie: has_recent_activity=1; path=/; expires=Thu, 25 Apr 2019 19:42:04 -0000 x-archive-orig-set-cookie: _gh_sess=bkVJM0tzMUZWSE9jQWdQRVJ4V2pvSHF6eEh6YkJ1U3FNcnZLS2VpM0ZFRTM1WUMvdnRxUUtRbTNDYjdLTlp1bUQ0ZWdnVmJqbHlOVkk2Kysxb2JxcXYyMUdWWGpLSUVVWHRubWhFV283NERNenl0blF3U01FMFNxMnpKR3Z4QXl3UnlvTlRMUG80WXZTK2pUQ1FORjd0bkJHd1NEZ0xxWHl5ay80RnRZUnNLeVQ4TnlBT3ZsSjRDUU5ua0lYUkN6czk4QU53REN4WjNqSFRrWTJOK01iSU5EVmsvYnpzWE42enhCQVNVck11YXlHVU9YRWdQODdvVXpwNXVOUGMzRjlCU25PVEk5UkJSNTdhTVphQVhkbGlOcGk0eitPTWJiZTV6NFF1ZWZDenRUNDNRNmpmaHh5cTgrWW9QRzhXemc2U0NtTmJqZkhSejErYTBWZFVvL2NkV3IzTGpJM0JYZzVXNE1wSk1LTWRxTmsxU2VabHVBbEluellhajRHMVBJalJpaTRpdmovUGF0UFNhc2Mrd3g5UT09LS1McDQwYXlmTEZnSnZ1T2ZhdkZmemtnPT0%3D--268e24ebff47d4b8bf56b5d75fdea52c941ef093; path=/; secure; HttpOnly x-archive-orig-x-request-id: 7c73c984-48c7-47f0-a2bd-b081db79fcfb x-archive-orig-strict-transport-security: max-age=31536000; includeSubdomains; preload x-archive-orig-x-frame-options: deny x-archive-orig-x-content-type-options: nosniff x-archive-orig-x-xss-protection: 1; mode=block x-archive-orig-referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin x-archive-orig-expect-ct: max-age=2592000, report-uri="https://api.github.com/_private/browser/errors" x-archive-orig-content-security-policy: default-src 'none'; base-uri 'self'; block-all-mixed-content; connect-src 'self' uploads.github.com www.githubstatus.com collector.githubapp.com api.github.com www.google-analytics.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com wss://live.github.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com; frame-ancestors 'none'; frame-src render.githubusercontent.com; img-src 'self' data: github.githubassets.com identicons.github.com collector.githubapp.com github-cloud.s3.amazonaws.com *.githubusercontent.com; manifest-src 'self'; media-src 'none'; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com x-archive-orig-vary: Accept-Encoding x-archive-orig-x-github-request-id: 338D:38C41:19F0CA6:2732A1E:5CC1FF6A x-archive-guessed-content-type: text/html x-archive-guessed-charset: utf-8 memento-datetime: Thu, 25 Apr 2019 18:42:05 GMT link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate", ; rel="first memento"; datetime="Sun, 08 Mar 2015 02:46:01 GMT", ; rel="prev memento"; datetime="Sun, 05 Apr 2015 04:49:17 GMT", ; rel="memento"; datetime="Thu, 25 Apr 2019 18:42:05 GMT", ; rel="next memento"; datetime="Thu, 13 Aug 2020 04:18:44 GMT", ; rel="last memento"; datetime="Fri, 29 Aug 2025 01:42:11 GMT" content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org x-archive-src: archiveteam_archivebot_go_20190426060003/keybase.io-inf-20190423-195047-f59yr-00004.warc.gz server-timing: captures_list;dur=0.435621, exclusion.robots;dur=0.015549, exclusion.robots.policy;dur=0.007145, esindex;dur=0.008840, cdx.remote;dur=13.784006, LoadShardBlock;dur=117.294326, PetaboxLoader3.datanode;dur=68.659544, PetaboxLoader3.resolve;dur=76.538254, load_resource;dur=66.611566 x-app-server: wwwb-app213 x-ts: 200 x-tr: 368 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 x-location: All x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() content-encoding: gzip spl (Sean Leather) · GitHub

Create your own GitHub profile

Join the platform over 31 million developers call home for hosting code, managing projects, and building their best software.

spl Follow

Sean Leather spl

Block or report user

Report or block spl

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pretoria, South Africa
https://profiles.google.com/sean.leather

Organizations

Popular repositories

homebrew-pdftk
(UNMAINTAINED) Homebrew Formula for PDFtk Server

Ruby 50 7
dlist
Difference lists in Haskell

Haskell 37 11
multi-ghc
Tools to support multiple GHC distributions in a Bash shell environment

14 1
zfs-on-mac
My personal ZFS on macOS instructions and scripts

Shell 11 2
font-awesome-type
A Font Awesome data type enumerating all icon classes in Haskell

Haskell 7 1
emgm
Extensible and Modular Generics for the Masses

Haskell 5 1

777 contributions in the last year

Activity overview

Contributed to spl/lean-finmap, leanprover-community/mathlib, tectonic-typesetting/tectonic and 5 other repositories

Contribution activity

April 2019

spl/graphite2-nobindings-rust C++ Apr 19
spl/graphite C++ Apr 18
spl/harfbuzz-experiment Apr 17
spl/harfbuzz C++ Apr 4

Created a pull request in servo/rust-harfbuzz that received 18 comments

Apr 2

Limit test data excluded and support HARFBUZZ_SYS_NO_PKG_CONFIG better

This is an alternative to #138 that builds on the work there. I added better support for HARFBUZZ_SYS_NO_PKG_CONFIG being 0 or 1. I expanded the T…

+88 −13 • 18 comments

Don't print cargo:include= with pkg-config Apr 18
Avoid source changes during static build Apr 17
Create test matrix for Travis-CI Apr 16
Exclude only test font data Apr 8

Amend RFC 1721 to define crt Apr 1

Clarify docs of install without <crate> Apr 5

Fix the static build on Darwin Apr 18

Rewrite `internship` to `internment` Apr 23

Fix touch ${CHECKSUM_FILE_BEFORE} Apr 25

Use stable instead of nightly for static Apr 25

Created an issue in silnrsi/graphite that received 4 comments

Apr 25

Building a static library on Windows

I'm trying to build a static library on Windows (using MSVC). Given that I'm not that familiar with cmake and building on Windows, I'm a bit lost i…

4 comments

You can’t perform that action at this time.

Original Source | Taken Source

Please note that GitHub no longer supports your web browser.