| .. |
|
Chroot
|
more work on OS takeover
|
2014-12-04 17:11:15 -04:00 |
|
HostingProvider
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
SiteSpecific
|
Removed Obnam.latestVersion which was only needed for Debian wheezy backport.
|
2015-04-25 11:23:54 -04:00 |
|
Systemd
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Apache.hs
|
propellor spin
|
2015-02-10 21:55:39 -04:00 |
|
Apt.hs
|
debCdn changed to new httpredir.debian.org official replacement for http.debian.net.
|
2015-04-19 21:36:07 -04:00 |
|
Chroot.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Cmd.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Cron.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Debootstrap.hs
|
remove toSimpleProp
|
2015-01-25 14:47:57 -04:00 |
|
Dns.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
DnsSec.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Docker.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
File.hs
|
fix type signature, filepath and string params were flipped
|
2015-04-23 09:24:23 -04:00 |
|
Firewall.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Git.hs
|
ensureProperty takes a list of commands to run, but Git.bareRepo
|
2015-04-22 20:59:14 -04:00 |
|
Gpg.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Group.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Grub.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Hostname.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Journald.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
List.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Mount.hs
|
forgot to add new Mount lib
|
2014-12-05 17:54:29 -04:00 |
|
Network.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Nginx.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
OS.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Obnam.hs
|
Removed Obnam.latestVersion which was only needed for Debian wheezy backport.
|
2015-04-25 11:23:54 -04:00 |
|
OpenId.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Postfix.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Prosody.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Reboot.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Scheduled.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Service.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Ssh.hs
|
propellor spin
|
2015-04-23 11:58:37 -04:00 |
|
Sudo.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
Systemd.hs
|
GADT properties seem to work (untested)
|
2015-01-24 22:38:51 -04:00 |
|
Tor.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
|
User.hs
|
API change: Added User and Group newtypes, and Properties that used to use the type UserName = String were changed to use them.
|
2015-04-22 13:04:39 -04:00 |
1706ca682e